|
|
|
|
| LEADER |
00840nam a2200229 a 4500 |
| 001 |
000335618 |
| 005 |
20240628085029.0 |
| 008 |
160906s1961 xxua r ||||| eng d |
| 035 |
|
|
|a 93276
|
| 040 |
|
|
|a Sistema de Bibliotecas de la Universidad de Costa Rica
|
| 082 |
0 |
|
|a 511.3
|b S666t
|2 00
|
| 100 |
1 |
|
|a Smullyan, Raymond M.
|e Autor/a
|
| 245 |
1 |
0 |
|a Theory of formal systems /
|c by Raymond M. Smullyan.
|
| 260 |
|
|
|a Princeton, N.J. :
|b Princeton University Press,
|c 1961.
|
| 300 |
|
|
|a 147 páginas :
|b ilustraciones en blanco y negro.
|
| 490 |
0 |
|
|a Annals of mathematics studies ;
|v number 47
|
| 500 |
|
|
|a El ejemplar #275711, llega a la página 142
|
| 650 |
0 |
7 |
|a LÓGICA, SIMBÓLICA Y MATEMÁTICA
|
| 650 |
0 |
7 |
|a FUNCIONES RECURSIVAS
|
| 912 |
|
|
|a 20-JUL-2011 - NAVARRO BENAVIDES, MARIA ISABEL
|
| 949 |
|
|
|a LQ. Amm b.EV
|
| 916 |
|
|
|a Registros del LS-2000
|