|
|
|
|
LEADER |
00692nam a2200193 u 4500 |
001 |
000105006 |
005 |
20000413104737.0 |
008 |
991026s1962 ne ||||| eng |
035 |
|
|
|a 5725053
|
040 |
|
|
|a Sistema de Bibliotecas de la Universidad de Costa Rica
|
041 |
0 |
|
|a eng
|
082 |
0 |
|
|a 511.3
|b B562f
|2 20
|
100 |
1 |
|
|a Beth, Evert Willem
|e Autor/a
|4 aut
|
245 |
1 |
0 |
|a Formal methods :
|b an introduction to symbolic and to the study of effective operations in arithmetic and logic /
|c Evert W. Beth
|
260 |
|
|
|a Dordrecht, Holland :
|b Reidel,
|c c1962.
|
300 |
|
|
|a 170 páginas
|
650 |
|
|
|a LOGICA, SIMBOLICA Y MATEMATICA
|
912 |
|
|
|a 13-APR-2000 - ROJAS SOTO, ANA EUDITH
|
916 |
|
|
|a Centro Catalográfico
|