Proof theory and intuitionistic systems / Bruno Scarpellini.
Material type:
TextLanguage: English Series: Lecture notes in mathematics (Springer-Verlag) ; 212.Publication details: Berlin ; New York : Springer-Verlag, 1971Description: vii, 290, [1] p. 26 cmISBN: 354005541XSubject(s): Intuitionistic mathematics | Proof theory
| Item type | Current library | Collection | Call number | Status | Notes | Date due | Barcode |
|---|---|---|---|---|---|---|---|
Գրքեր/Books
|
Fundamental Scientific Library | Gulbenkian Individual Collection | Gulb/3084 (Browse shelf(Opens below)) | Available | ILL Non-Circ. | 901003084 |
Bibliogr.: p. 291
All site content, except where otherwise noted, is licensed under a
There are no comments on this title.