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.

Saved in:
Bibliographic Details
Main Author: Troelstra, Anne Sjerp
Format: Livre papier
Language:Anglais
Published: Berlin ; Heidelberg ; New York : Springer-Verlag C 1969.
Series:Lecture notes in mathematics 95
Subjects:
Mathématiques intuitionnistes
Note: SUNY = State university of New York
Autres localisations: Voir dans le Sudoc
Edition sous un autre format:• Principles of intuitionism, lectures presented at the Summer conference on intuitionism and proof theory (1968) at SUNY at Buffalo, N.Y., A. S. Troelstra,..., 201X, Berlin [etc.], Springer, Lecture notes in mathematics, 978-3-540-36130-5
LEADER 01102nam a22002297a 4500
001 380910
008 690926t19691969xxe ||| |||| 00| 0 eng d
009 PPN014166410
041 0 |a eng 
082 |a 164 
084 |a 02.23. 2010 
100 1 |a Troelstra, Anne Sjerp. 
245 1 0 |a Principles of intuitionism :  |b lectures presented at the Summer conference on intuitionism and proof theory (1968) at SUNY at Buffalo, N.Y.   |c A. S. Troelstra,... 
260 |a Berlin ;  |a Heidelberg ;  |a New York :  |b Springer-Verlag. 
260 |c C 1969. 
300 |a 1 volume (111 p.) ;  |c 28 cm. 
490 1 |a Lecture notes in mathematics  |v 95 
500 |a SUNY = State university of New York 
504 |a Bibliogr. p. 108-111 
650 |a Mathématiques intuitionnistes 
776 0 |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,...  |d 201X  |c Berlin [etc.]  |n Springer  |s Lecture notes in mathematics  |z 978-3-540-36130-5 
997 |0 380910  |1 Livre papier  |a Ressource papier  |c 0/Orléans/  |c 1/Orléans/IDP/  |z Orléans, IDP, LNM 95 

Similar Items