Genten's theorem on an extended predicate calculus

DOI10.3792/PJA/1195525871MaRDI QIDQ5830653zbMATH OpenOpenAlexFDO

Authors Shôji Maehara

Publication date 1954

Published in Proceedings of the Japan Academy, Series A, Mathematical Sciences (Search for Journal in Brave)

Full work available at URL https://doi.org/10.3792/pja/1195525871

zbMATH Keywords

Mathematical logic

This page was built for publication: Genten's theorem on an extended predicate calculus

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5830653)