Principles of intuitionism : lectures presented at the summer conference on intuitionism and proof theory (1968) at SUNY at Buffalo / A. S. Troelstra

Auteur principal : Troelstra, Anne Sjerp, 1939-, AuteurType de document : MonographieCollection : Lecture notes in mathematics, 95Langue : anglais.Pays: Allemagne.Éditeur : Berlin : Springer, 1969Description : 1 vol. (111 p.) ; 28 cmISBN: 9780387046143.ISSN: 0075-8434.Bibliographie : Bibliogr. p. 108-111.Sujet MSC : 03Bxx, Mathematical logic and foundations - General logicEn-ligne : sur Springerlink Item type: Monographie
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 02344-01
CMI
Salle R
03 TRO (Browse shelf(Opens below)) Available 02344-02

Bibliogr. p. 108-111

There are no comments on this title.

to post a comment.