Where is the Gödel-point hiding : Gentzen's consistency proof of 1936 and his representation of constructive ordinals /
Saved in:
Author / Creator: | Horská, Anna, author. |
---|---|
Imprint: | Cham : Springer, 2014. |
Description: | 1 online resource (ix, 77 pages). |
Language: | English |
Series: | SpringerBriefs in Philosophy, 2211-4548 SpringerBriefs in philosophy, |
Subject: | |
Format: | E-Resource Book |
URL for this record: | http://pi.lib.uchicago.edu/1001/cat/bib/11081871 |
Table of Contents:
- Preliminaries
- Ordinal numbers
- Consistency proof.