| Title | Where is the Gödel-point hiding : Gentzen's consistency proof of 1936 and his representation of constructive ordinals |
|---|---|
| Author | Horská, Anna |
| Year | 2014 |
| Edition | |
| Volume | |
| Series | SpringerBriefs in philosophy |
| Publisher | Springer |
| City | |
| Language | English |
Size: 1.32MB | Pages: 77 |
LLC: N/A | DDC:
