{"type":"review","user_id":"391","date_created":"2020-09-01T07:25:35Z","status":"public","date_updated":"2024-06-23T09:34:04Z","publication":"zbMATH Open, Zbl. 1403.03006","department":[{"_id":"520"}],"publication_date":"2018-12-26","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","author":[{"full_name":"Peckhaus, Volker","last_name":"Peckhaus","first_name":"Volker","id":"391"}],"article_number":"Zbl. 1403.03006","year":"2018","oa":"1","citation":{"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’, The Bulletin of Symbolic Logic 24 (2018), 319–335,” <i>zbMATH Open, Zbl. 1403.03006</i>. 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’, The Bulletin of Symbolic Logic 24 (2018), 319–335.” <i>zbMATH Open, Zbl. 1403.03006</i>, Zbl. 1403.03006, 2018.","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”, The Bulletin of Symbolic Logic 24 (2018), 319–335}, number={Zbl. 1403.03006}, journal={zbMATH Open, Zbl. 1403.03006}, author={Peckhaus, Volker}, year={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”, The Bulletin of Symbolic Logic 24 (2018), 319–335. In <i>zbMATH Open, Zbl. 1403.03006</i> (Zbl. 1403.03006).","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”, The Bulletin of Symbolic Logic 24 (2018), 319–335. <i>zbMATH Open, Zbl 140303006</i>. Published online 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’, The Bulletin of Symbolic Logic 24 (2018), 319–335.” <i>zbMATH Open, Zbl. 1403.03006</i>, 2018.","short":"V. Peckhaus, zbMATH Open, Zbl. 1403.03006 (2018)."},"_id":"18733","main_file_link":[{"url":"https://zbmath.org/1403.03006","open_access":"1"}],"language":[{"iso":"ger"}]}