Extensional Godel functional interpretation a consistency proof of classical analysis Horst Luckhardt
Series: Lecture notes in mathematics, 306 | Lecture notes in mathematics (Springer-Verlag)Publication details: Berlin New York Springer-Verlag 1973Description: vi, 161 p 26 cmISBN:- 0387061193
- 510
Item type | Current library | Call number | Copy number | Status | Date due | Barcode | |
---|---|---|---|---|---|---|---|
Carti | IMAR | CS1-306 (Browse shelf(Opens below)) | 1 | Available | 0015296 |
Browsing IMAR shelves Close shelf browser (Hides shelf browser)
CS1-304 Homotopy limits, completions and localizations | CS1-305 No title Tome 1; 2; 3 | CS1-305 No title Tome 1; 2; 3 | CS1-306 Extensional Godel functional interpretation a consistency proof of classical analysis | CS1-307 No title | CS1-307 Ecole d'ete de probabilites: processus stochastiques | CS1-307 No title |
eng
Contine bibliografie
There are no comments on this title.
Log in to your account to post a comment.