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 |