Horská, Anna
Where is the Gödel-point hiding: Gentzen’s Consistency Proof of 1936 and His Representation of Constructive Ordinals
Table of contents
1. Introduction
Anna Horská
2. Preliminaries
Anna Horská
3. Ordinal Numbers
Anna Horská
4. Consistency Proof
Anna Horská
Keywords: Philosophy, Logic, Mathematical Logic and Foundations
- Author(s)
- Horská, Anna
- Publisher
- Springer
- Publication year
- 2014
- Language
- en
- Edition
- 2014
- Series
- SpringerBriefs in Philosophy
- Page amount
- 9 pages
- Category
- Philosophy
- Format
- Ebook
- eISBN (PDF)
- 9783319021713