Principles of intuitionism : lectures presented at the Summer conference on intuitionism and proof theory (1968) at SUNY at Buffalo, N.Y.

Principles of intuitionism : lectures presented at the Summer conference on intuitionism and proof theory (1968) at SUNY at Buffalo, N.Y.

Enregistré dans:
Détails bibliographiques
Auteur principal : Troelstra Anne Sjerp (Auteur)
Format : Livre
Langue : anglais
Titre complet : Principles of intuitionism : lectures presented at the Summer conference on intuitionism and proof theory (1968) at SUNY at Buffalo, N.Y. / A. S. Troelstra,...
Publié : Berlin, Heidelberg, New York : Springer-Verlag , 1969, cop. 1969
Description matérielle : 1 vol. (111 p.)
Collection : Lecture notes in mathematics ; 95
Sujets :
Mathématiques intuitionnistes
Documents associés : Autre format: Principles of intuitionism
LEADER 01939cam a2200505 4500
001 PPN014166410
003 http://www.sudoc.fr/014166410
005 20211105112600.0
020 |a US  |b 7488182 //r85 
035 |a (OCoLC)490386214 
035 |a ocm00029437 
035 |a sib1620597 
100 |a 19690926h19691969k y0frey0103 ba 
101 0 |a eng 
102 |a DE  |a US 
105 |a y a 000yy 
106 |a r 
181 |6 z01  |c txt  |2 rdacontent 
181 1 |6 z01  |a i#  |b xxxe## 
182 |6 z01  |c n  |2 rdamedia 
182 1 |6 z01  |a n 
183 1 |6 z01  |a nga  |2 rdacarrier 
200 1 |a Principles of intuitionism  |e lectures presented at the Summer conference on intuitionism and proof theory (1968) at SUNY at Buffalo, N.Y.  |f A. S. Troelstra,... 
210 |a Berlin  |a Heidelberg  |a New York  |c Springer-Verlag  |d 1969, cop. 1969 
215 |a 1 vol. (111 p.)  |d 28 cm 
225 2 |a Lecture notes in mathematics  |v 95 
304 |a SUNY = State university of New York 
320 |a Bibliogr. p. 108-111 
410 | |0 03292996X  |t Lecture notes in mathematics  |x 0075-8434  |v 95 
452 | |0 155186590  |t Principles of intuitionism  |o lectures presented at the Summer conference on intuitionism and proof theory (1968) at SUNY at Buffalo, N.Y.  |f A. S. Troelstra,...  |c Berlin [etc.]  |n Springer  |d 201X  |s Lecture notes in mathematics  |y 978-3-540-36130-5 
606 |3 PPN027392767  |a Mathématiques intuitionnistes  |2 rameau 
676 |a 164 
680 |a QA3  |b .L28 no. 95 
686 |a 02.23  |c 2010  |2 msc 
700 1 |3 PPN031968155  |a Troelstra  |b Anne Sjerp  |4 070 
801 1 |a US  |b OCLC  |g AACR2 
801 2 |a FR  |b AUROC  |g AFNOR 
801 3 |a FR  |b SF  |g AFNOR 
801 3 |a FR  |b Abes  |c 20181024  |g AFNOR 
915 |5 441092208:639592988  |b 7188 
930 |5 441092208:639592988  |b 441092208  |a LNM/95  |j u 
979 |a CCFA 
991 |5 441092208:639592988  |a exemplaire créé automatiquement par l'ABES 
997 |a CCFA  |b 7188  |d CMB  |e BAP  |s d  |c LNM/95 
998 |a 842082