--- _id: '18733' article_number: Zbl. 1403.03006 author: - first_name: Volker full_name: Peckhaus, Volker id: '391' last_name: Peckhaus citation: ama: '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.' apa: '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).' bibtex: '@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} }' chicago: '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.' ieee: '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.' mla: '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.' short: V. Peckhaus, Zentralblatt für Mathematik und ihre Grenzgebiete (2018). date_created: 2020-09-01T07:25:35Z date_updated: 2022-06-27T18:25:59Z department: - _id: '520' language: - iso: ger publication: Zentralblatt für Mathematik und ihre Grenzgebiete publication_date: 2018-12-26 related_material: link: - relation: confirmation url: https://zbmath.org/?q=1403.03006 status: public 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' type: review user_id: '59882' year: '2018' ...