scientific article; zbMATH DE number 3387334
From MaRDI portal
Publication:5656756
zbMATH Open0245.02045MaRDI QIDQ5656756FDOQ5656756
Authors: Hugues Leblanc, Robert K. Meyer 
Publication date: 1970
Title of this publication is not available (Why is that?)
Categoricity and completeness of theories (03C35) Nonclassical and second-order set theories (03E70) Proof theory and constructive mathematics (03F99)
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 Q5656756)
