The inter-deducibility of the new Hilbert-Bernays theory and Principia mathematica

DOI10.2307/1968573zbMath0012.00102OpenAlexW2331171291MaRDI QIDQ1840429

Edward V. Huntington

Publication date: 1935

Published in: Annals of Mathematics. Second Series (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/1968573

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Related Items

Completeness Before Post: Bernays, Hilbert, and the Development of Propositional Logic, Note on a recent set of postulates for the calculus of propositions