E-book
Where is the Gödel-point hiding: Gentzen’s Consistency Proof of 1936 and His Representation of Constructive Ordinals
Record details
- ISBN: 9783319021713
-
Physical Description:
electronic
electronic resource
access
remote
IX, 77 p. online resource. - Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014.
Search for related items by subject
| Subject: | Philosophy (General) Logic Logic, Symbolic and mathematical Philosophy Logic Mathematical Logic and Foundations |
