DOI10.1007/BF02015373zbMath0291.02020MaRDI QIDQ4041553
Mitsuru Yasuhara
Publication date: 1974 Published in: Archiv für Mathematische Logik und Grundlagenforschung (Search for Journal in Brave) Full work available at URL: https://eudml.org/doc/137890
Mathematics Subject Classification ID
03C35: Categoricity and completeness of theories
03F99: Proof theory and constructive mathematics
Cites Work