-
Bib ID# 20563
ISBN: 9783319021713
UPC: 10.1007/978-3-319-02171-3
Title: Where is the Gödel-point hiding: Gentzen’s Consistency Proof of 1936 and His Representation of Constructive Ordinals
Author: Horská, Anna.
Publication Info:
Item Type: Language material