That 'Principia Mathematica', first edition, has a predicative interpretation after all

DOI10.1007/BF00263121zbMath0304.02007OpenAlexW2009649421MaRDI QIDQ1216291

Hugues Leblanc

Publication date: 1975

Published in: Journal of Philosophical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf00263121

Mathematics Subject Classification ID

Classical first-order logic (03B10)

Related Items (1)

Negationless intuitionism

This page was built for publication: That 'Principia Mathematica', first edition, has a predicative interpretation after all