|
|
|
|
| LEADER |
00846nam a2200229 u 4500 |
| 001 |
000293040 |
| 005 |
.0 |
| 008 |
s1970 s1970 fs ||||| eng |
| 035 |
|
|
|a 124066
|
| 040 |
|
|
|a Sistema de Bibliotecas de la Universidad de Costa Rica
|
| 041 |
0 |
|
|a eng
|
| 082 |
0 |
|
|a 510.1
|b K55i
|2 21
|
| 100 |
1 |
|
|a Kino, A.
|e Autor/a
|4 aut
|
| 245 |
1 |
0 |
|a Intuitionism and proof theory :
|b proceedings of the Summer Conference at Buffalo, N. Y. 1968. /
|c Ed. by A. Kino, J. Myhill and R. E. Vesley.
|
| 260 |
|
|
|a Amsterdam :
|b North Holland,
|c 1970.
|
| 300 |
|
|
|a 516 páginas ;
|c 24 cm.--
|
| 490 |
0 |
|
|a Studies en logic and the foundations of mathematics
|
| 650 |
|
|
|a LOGICA, SIMBOLICA Y MATEMATICA
|
| 700 |
1 |
|
|a Myhill, J.
|e Editor/a
|4 edt
|
| 700 |
1 |
|
|a Vesley, Richard Eugene
|d 1932-
|e Editor/a
|4 edt
|
| 949 |
|
|
|a -LA b MI.
|
| 916 |
|
|
|a Registros del LS-2000
|