von Plato, Jan, “Kurt Gödel’s First Steps in Logic: Formal Proofs in Arithmetic and Set Theory Through a System of Natural Deduction”, The Bulletin of Symbolic Logic 24 (2018), 319–335
V. Peckhaus, zbMATH Open, Zbl. 1403.03006 (2018).
Download (ext.)
Book Review
| German
Author
Publishing Year
Journal Title
zbMATH Open, Zbl. 1403.03006
Article Number
Zbl. 1403.03006
LibreCat-ID
Cite this
Peckhaus V. von Plato, Jan, “Kurt Gödel’s First Steps in Logic: Formal Proofs in Arithmetic and Set Theory Through a System of Natural Deduction”, The Bulletin of Symbolic Logic 24 (2018), 319–335. zbMATH Open, Zbl 140303006. Published online 2018.
Peckhaus, V. (2018). von Plato, Jan, “Kurt Gödel’s First Steps in Logic: Formal Proofs in Arithmetic and Set Theory Through a System of Natural Deduction”, The Bulletin of Symbolic Logic 24 (2018), 319–335. In zbMATH Open, Zbl. 1403.03006 (Zbl. 1403.03006).
@article{Peckhaus_2018, title={von Plato, Jan, “Kurt Gödel’s First Steps in Logic: Formal Proofs in Arithmetic and Set Theory Through a System of Natural Deduction”, The Bulletin of Symbolic Logic 24 (2018), 319–335}, number={Zbl. 1403.03006}, journal={zbMATH Open, Zbl. 1403.03006}, author={Peckhaus, Volker}, year={2018} }
Peckhaus, Volker. “von Plato, Jan, ‘Kurt Gödel’s First Steps in Logic: Formal Proofs in Arithmetic and Set Theory Through a System of Natural Deduction’, The Bulletin of Symbolic Logic 24 (2018), 319–335.” zbMATH Open, Zbl. 1403.03006, 2018.
V. Peckhaus, “von Plato, Jan, ‘Kurt Gödel’s First Steps in Logic: Formal Proofs in Arithmetic and Set Theory Through a System of Natural Deduction’, The Bulletin of Symbolic Logic 24 (2018), 319–335,” zbMATH Open, Zbl. 1403.03006. 2018.
Peckhaus, Volker. “von Plato, Jan, ‘Kurt Gödel’s First Steps in Logic: Formal Proofs in Arithmetic and Set Theory Through a System of Natural Deduction’, The Bulletin of Symbolic Logic 24 (2018), 319–335.” zbMATH Open, Zbl. 1403.03006, Zbl. 1403.03006, 2018.
All files available under the following license(s):
Copyright Statement:
This Item is protected by copyright and/or related rights. [...]
Link(s) to Main File(s)
Access Level
Closed Access
Google Scholar