Get 20M+ Full-Text Papers For Less Than $1.50/day. Start a 14-Day Trial for You or Your Team.

Learn More →

Where is the Gödel-point hiding: Gentzen’s Consistency Proof of 1936 and His Representation of Constructive Ordinals

Part of the SpringerBriefs in Philosophy Book Series
DOI: 10.1007/978-3-319-02171-3
ISBN: 978-3-319-02170-6
Publisher: Springer International Publishing - Springer Journals
Oct 23, 2013

1 - 4 of 4 Chapters