von Plato, Jan, “Kurt Gödel’s First Steps in Logic: Formal Proofs in Arithmetic and Set Theory Through a System of Natural Deduction”, In: The Bulletin of Symbolic Logic 24 (2018), 319–335
V. Peckhaus, Zentralblatt für Mathematik und ihre Grenzgebiete (2018).
Download
No fulltext has been uploaded.
Book Review
| German
Author
Publishing Year
Journal Title
Zentralblatt für Mathematik und ihre Grenzgebiete
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”, In: The Bulletin of Symbolic Logic 24 (2018), 319–335. Zentralblatt für Mathematik und ihre Grenzgebiete. 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”, In: The Bulletin of Symbolic Logic 24 (2018), 319–335. In Zentralblatt für Mathematik und ihre Grenzgebiete (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”, In: The Bulletin of Symbolic Logic 24 (2018), 319–335}, number={Zbl. 1403.03006}, journal={Zentralblatt für Mathematik und ihre Grenzgebiete}, 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’, In: The Bulletin of Symbolic Logic 24 (2018), 319–335.” Zentralblatt für Mathematik und ihre Grenzgebiete, 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’, In: The Bulletin of Symbolic Logic 24 (2018), 319–335,” Zentralblatt für Mathematik und ihre Grenzgebiete. 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’, In: The Bulletin of Symbolic Logic 24 (2018), 319–335.” Zentralblatt für Mathematik und ihre Grenzgebiete, Zbl. 1403.03006, 2018.
Google Scholar