---
_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'
...