E-book
Where is the Gödel-point hiding: Gentzen’s Consistency Proof of 1936 and His Representation of Constructive Ordinals [electronic resource] / by Anna Horská.
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. |
