Where is the Gödel-point hiding: Gentzen’s Consistency Proof of 1936 and His Representation of Constructive Ordinals [electronic resource] / by Anna Horská.
![E-book E-book](http://biblioteca.ipicyt.edu.mx/images/format_icons/icon_format/ebook.png?cafb27)
Electronic resources
Record details
- ISBN: 9783319021713
- Physical Description: IX, 77 p. online resource.
- Publisher: Cham : Springer International Publishing : 2014.
Search for related items by subject
Subject: | Philosophy (General). Logic. Logic, Symbolic and mathematical. Philosophy. Logic. Mathematical Logic and Foundations. |