GÖDEL’S NOTRE DAME COURSE

DOI10.1017/bsl.2016.36zbMath1380.03003arXiv1604.02607OpenAlexW2963954413MaRDI QIDQ5283448

Kosta Došen, Miloš Adžić

Publication date: 21 July 2017

Published in: The Bulletin of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1604.02607

zbMATH Keywords

propositional logicpredicate logic

Mathematics Subject Classification ID

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

Related Items (3)

Gödel on deduction ⋮ Gödel's natural deduction ⋮ KURT GÖDEL’S FIRST STEPS IN LOGIC: FORMAL PROOFS IN ARITHMETIC AND SET THEORY THROUGH A SYSTEM OF NATURAL DEDUCTION

Cites Work

• Untersuchungen über das logische Schliessen. I
• On the rules of suppositions in formal logic
• On the interpretation of Aristotelian syllogistic
• A propositional calculus with denumerable matrix
• Future Tasks for Gödel Scholars
• Gödel's Introduction to Logic in 1939
• Adjointness in Foundations
• Completeness Before Post: Bernays, Hilbert, and the Development of Propositional Logic
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: GÖDEL’S NOTRE DAME COURSE