Extensional Gödel functional interpretation : a consistency proof of classical analysis /
Saved in:
Author / Creator: | Luckhardt, Horst. |
---|---|
Imprint: | Berlin ; New York : Springer-Verlag, 1973. |
Description: | 1 online resource (vi, 161 pages). |
Language: | English |
Series: | Lecture notes in mathematics, 0075-8434 ; 306 Lecture notes in mathematics (Springer-Verlag) ; 306. |
Subject: | |
Format: | E-Resource Book |
URL for this record: | http://pi.lib.uchicago.edu/1001/cat/bib/11070334 |