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
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.