Where is the Gödel-point hiding : Gentzen's consistency proof of 1936 and his representation of constructive ordinals

Author/Creator
Horska, Anna.
Language
English.
Imprint
Cham : Springer, 2014.
Physical description
ix, 77 p. ; 24 cm.
Series
SpringerBriefs in philosophy.

Browse related items

Start at call number:
Librarian view | Catkey: 10392213