|
|
|
|
LEADER |
00694nam a2200205 u 4500 |
001 |
000301548 |
005 |
.0 |
008 |
s1971 s1971 fs ||||| eng |
035 |
|
|
|a 93549
|
040 |
|
|
|a Sistema de Bibliotecas de la Universidad de Costa Rica
|
041 |
0 |
|
|a eng
|
082 |
0 |
|
|a 510.1
|b S628m
|2 21
|
100 |
1 |
|
|a Skolem, Thoralf A.
|d 1887-1967
|e Autor/a
|4 aut
|
245 |
1 |
0 |
|a Mathematical interpretation of formal systems /
|c by Th. Skolem y otros
|
260 |
|
|
|a Amsterdam :
|b North Holland,
|c 1971.
|
300 |
|
|
|a 113 páginas ;
|c 23 cm.--
|
490 |
0 |
|
|a Studies in logic and the foundations of mathematics
|
650 |
|
|
|a LOGICA, SIMBOLICA Y MATEMATICA
|
949 |
|
|
|a -ME b.BRA
|
916 |
|
|
|a Registros del LS-2000
|