Where is the Gödel-point hiding: Gentzen's Consistency Proof of 1936 and His Representation of Constructive Ordinals (SpringerBriefs in Philosophy)

Representation

von Anna Horská

Taschenbuch

ISBN-13: 978-3-319-02170-6

ISBN-10: 3-319-02170-2

Springer · 2013