scientific article; zbMATH DE number 3819711

zbMATH Open0518.03026MaRDI QIDQ3666845FDOQ3666845

Craig Smoryński

Publication date: 1982

Title of this publication is not available (Why is that?)

zbMATH Keywords

constructive proofs

Mathematics Subject Classification ID

Other constructive mathematics (03F65) Nonstandard models of arithmetic (03H15)

Cited In (2)

• Lindenbaum algebras of intuitionistic theories and free categories
• Faith \& falsity

This page was built for publication:

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