Extensional Gödel functional interpretation : a consistency proof of classical analysis / Horst Luckhardt

By:

Luckhardt, Horst [aut]

Resource type: Ressourcentyp: BuchBookLanguage: English Series: Lecture notes in mathematics ; 306Publisher: Berlin ; Heidelberg [u.a.] : Springer, 1973Description: VI, 161 S ; 4°ISBN:

3540061193
0387061193

Subject(s):

Genre/Form:

Hochschulschrift

Additional physical formats: Erscheint auch als: Extensional Gödel Functional Interpretation. Online-Ausgabe Berlin, Heidelberg : Springer Berlin Heidelberg, 1973. Online-Ressource (VI, 166 p, online resource)DDC classification:

510/.8 511/.3
510/.8 s 511/.3
510/.8
511/.3
510/.8 s
s

RVK: RVK: SI 850LOC classification:

Dissertation note: Teilw. zugl.: Marburg/Lahn, Habil.-Schr., 1970 PPN: PPN: 020058675

Holdings ( 1 )

Holdings
Item type	Home library	Shelving location	Call number	Status	Barcode
Freihandbestand ausleihbar	Fachbibliothek Mathematik	Bibliothek / frei aufgestellt	Lect. notes / 306	Available	36290757090

Total holds: 0

Place hold
Print
Cite
Add to your cart (remove)
Save record
BIBTEX Dublin Core MARCXML MARC (non-Unicode/MARC-8) MARC (Unicode/UTF-8) MARC (Unicode/UTF-8, Standard) MODS (XML) RIS ISBD
More searches

Search for this title in:
Karlsruher Virtueller Katalog Bibliotheksportal Karlsruhe Google Scholar Andere Bibliotheken (WorldCat)