Extensional Gödel functional interpretation : A consistency proof of classical analysis / Horst Luckhardt.
Material type:
TextLanguage: English Series: Lecture notes in mathematics (Springer-Verlag) ; 306.Publication details: Berlin New York : Springer-Verlag, 1973Description: vi, 161 p. ; 26 cmISBN: 0387061193 (New York)Subject(s): Proof theory | Intuitionistic mathematics
| Item type | Current library | Collection | Call number | Status | Notes | Date due | Barcode |
|---|---|---|---|---|---|---|---|
Գրքեր/Books
|
Fundamental Scientific Library | Gulbenkian Individual Collection | Gulb/3345 (Browse shelf(Opens below)) | Available | ILL Non-Circ. | 901003345 |
Bibliogr.: p. 157-161.
All site content, except where otherwise noted, is licensed under a
There are no comments on this title.