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 mathematics
En-ligne : sur Springerlink Item type: Séminaire
Tags from this library: No tags from this library for this title. Log in to add tags.
Holdings
Current library Call number Status Date due Barcode
CMI
Salle R
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.