Metamathematical investigation of intuitionistic arithmetic and analysis / A. S. Troelstra
Type de document : SéminaireCollection : Lecture notes in mathematics, 344Langue : anglais.Pays: Allemagne.Éditeur : Berlin : Springer-Verlag, 1973Description : 1 vol. (XVII-485 p.) ; 24 cmISBN: 9783540064916.ISSN: 0075-8434.Bibliographie : Bibliogr. p. [462]-475. Index.Sujet MSC : 03Fxx, Mathematical logic and foundations - Proof theory and constructive mathematics03B55, General logic, Intermediate logics
03F55, Proof theory and constructive mathematics, Intuitionistic mathematicsEn-ligne : sur Springerlink
Item type | Current library | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|
Séminaire | CMI Réserve | 03 TRO (Browse shelf(Opens below)) | Available | 05926-01 |
Bibliogr. p. [462]-475. Index
There are no comments on this title.