ՀՀ Գիտությունների ազգային ակադեմիայի հիմնարար գիտական գրադարան = Fundamental Scientific Library of NAS RAExtensional 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, 1973.Description: vi, 161 p. ; 26 cmISBN: - 0387061193 (New York)
| Item type | Current library | Collection | Call number | Status | Notes | Barcode | |
|---|---|---|---|---|---|---|---|
Գրքեր / Books
|
Fundamental Scientific Library | Gulbenkian Individual Collection | Gulb/3345 (Browse shelf(Opens below)) | Available | ILL Non-Circ. | 901003345 |
Bibliogr.: p. 157-161.
There are no comments on this title.
Log in to your account to post a comment.
All site content, except where otherwise noted, is licensed under a