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, Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 1403.03006] (2018).

Download
No fulltext has been uploaded.
Book Review | English
Publishing Year
Journal Title
Zentralblatt für Mathematik und ihre Grenzgebiete [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. Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl 140303006]. 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. 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”, The Bulletin of Symbolic Logic 24 (2018), 319–335}, number={Zbl. 1403.03006}, journal={Zentralblatt für Mathematik und ihre Grenzgebiete [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.” Zentralblatt Für Mathematik Und Ihre Grenzgebiete [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,” Zentralblatt für Mathematik und ihre Grenzgebiete [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.” Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 1403.03006], Zbl. 1403.03006, 2018.

Export

Marked Publications

Open Data LibreCat

Search this title in

Google Scholar