Where is the Gödel-point hiding: Gentzen’s Consistency Proof of 1936 and His Representation of Constructive Ordinals

Full text!
Type:
e-book
Titel:
Where is the Gödel-point hiding: Gentzen’s Consistency Proof of 1936 and His Representation of Constructive Ordinals
Auteur:
Horsk, Anna; Horská, Anna
Taal:
Engels
Uitgever:
Springer International Publishing 2014
ISBN:
3-319-02170-2
3-319-02171-0
Permalink:
http://bibtest.howest.be/catalog/ebk03:2550000001152771