Metamathematical investigation of intuitionistic arithmetic and analysis / A. S. Troelstra

Auteur secondaire : Troelstra, Anne Sjerp, 1939-, Editeur scientifiqueType 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 mathematics
03B55, General logic, Intermediate logics
03F55, Proof theory and constructive mathematics, Intuitionistic mathematicsEn-ligne : sur Springerlink
Tags from this library: No tags from this library for this title. Log in to add tags.
Holdings
Item type Current library Call number Status Date due Barcode
Séminaire 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.

to post a comment.