von Plato, Jan, cKurt Gödel9s First Steps in Logic: Formal Proofs in Arithmetic and Set Theory Through a System of Natural Deductiond, The Bulletin of Symbolic Logic 24 (2018), 3193335
V. Peckhaus, zbMATH Open, Zbl. 1403.03006 (2018).