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á
Nyckelord: Philosophy, Logic, Mathematical Logic and Foundations
- Författare
- Horská, Anna
- Utgivare
- Springer
- Utgivningsår
- 2014
- Språk
- en
- Utgåva
- 2014
- Serie
- SpringerBriefs in Philosophy
- Sidantal
- 9 sidor
- Kategori
- Filosofi
- Format
- E-bok
- eISBN (PDF)
- 9783319021713
