Principles of intuitionism : lectures presented at the summer Conference on Intuitionism and Proof theory (1968) at SUNY at Bufalo, N.Y.

Detalles Bibliográficos
Autor principal: Troelstra, Anne Sjerp 1939- (Autor/a)
Formato: Libro
Lenguaje:English
Publicado: Berlín : Springer, 1964-.
Materias:
LEADER 00831nam a2200229 u 4500
001 000317798
005 .0
008 s1969 s1964 gw ||||| eng
035 |a 99742 
040 |a Sistema de Bibliotecas de la Universidad de Costa Rica 
041 0 |a eng 
082 0 |a 510.82  |b L468L  |2 00 
100 1 |a Troelstra, Anne Sjerp  |d 1939-  |e Autor/a 
245 1 0 |a Principles of intuitionism :  |b lectures presented at the summer Conference on Intuitionism and Proof theory (1968) at SUNY at Bufalo, N.Y. 
260 |a Berlín :  |b Springer,  |c 1964-. 
300 |a 11 páginas 
500 |a En: Lecture notes in mathematics. Berlin, Springer, 1964- v. 95. 
650 |a LOGICA, SIMBOLICA Y MATEMATICA 
650 |a INTUICION 
773 0 |7 nnam  |t Lecture notes in mathematics. n. 1- 
949 |a -JC-LV 
916 |a Registros del LS-2000