Principles of intuitionism / A. S. Troelstra.
Material type:
TextLanguage: English Series: Lecture notes in mathematics (Springer-Verlag) ; 95.Publication details: Berlin ; Heidelberg ; New York : Springer-Verlag, 1969Description: 111 p. 28 cmSubject(s): Intuitionistic mathematics
| Item type | Current library | Collection | Call number | Status | Notes | Date due | Barcode |
|---|---|---|---|---|---|---|---|
Գրքեր/Books
|
Fundamental Scientific Library | Gulbenkian Individual Collection | Gulb/3078 (Browse shelf(Opens below)) | Available | ILL Non-Circ. | 901003078 |
Browsing Fundamental Scientific Library shelves, Collection: Gulbenkian Individual Collection Close shelf browser (Hides shelf browser)
| Gulb/3075 The Europa Year Book 1973 : A World Survey. | Gulb/3076 The Europa Year Book 1973 : A World Survey. | Gulb/3077 An historical syntax of the English language / | Gulb/3078 Principles of intuitionism / | Gulb/3079 Lectures on non-standard analysis / | Gulb/308 Biochemical preparations / | Gulb/3080 The Syntax and semantics of infinitary languages / |
Bibliogr.: p. 108-111.
"Lectures presented at the Summer Conference on Intuitionism and Proof Theory (1968) at SUNY at Buffalo, N.Y."
All site content, except where otherwise noted, is licensed under a
There are no comments on this title.