Gödel's reading of Peano's arithmetices principia

MaRDI QIDQ6203992zbMATH OpenFDO

Authors Jan von Plato

Publication date 8 April 2024

Full work available at URL https://www.cairn.info/revue-philosophia-scientiae-2021-1-page-185.htm

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) History of mathematical logic and foundations (03-03)

Recommendations

• Kurt Gödel's first steps in logic: formal proofs in arithmetic and set theory through a system of natural deduction
• Gödel, Leibniz and ``Russell's mathematical logic
• scientific article; zbMATH DE number 1748963
• scientific article; zbMATH DE number 6843296
• Gödel's Introduction to Logic in 1939

This page was built for publication: Gödel's reading of Peano's arithmetices principia

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