|
|
|
|
| LEADER |
00900nam a2200241 a 4500 |
| 008 |
050201s1985||||mx |||||||||||||||||spa|| |
| 942 |
|
|
|c BK
|
| 041 |
|
|
|a spa
|
| 082 |
|
|
|a 510.1
|b V397l
|
| 100 |
|
|
|a Vásquez, Jesús
|
| 700 |
|
|
|a Rivera, Sócrates
|e coautor
|
| 245 |
0 |
0 |
|a Logica y matemáticas /
|c Jesús Vásquez / Sócrates Rivera.
|
| 260 |
|
|
|a México D. F. :
|b Centro de investigación y estudio avanzados del IPN,
|c 1985
|
| 300 |
|
|
|a 121 p.
|
| 650 |
|
|
|a Lógica simbolica y matemáticas
|
| 592 |
|
|
|a Lema de lectura unica
|
| 592 |
|
|
|a Interpretaciones
|
| 592 |
|
|
|a Conjuntos definibles
|
| 592 |
|
|
|a El teorema de completitud de G”del
|
| 592 |
|
|
|a Maquinas de Turing
|
| 592 |
|
|
|a Funciones Recursivas
|
| 999 |
|
|
|c 106855
|d 106855
|
| 952 |
|
|
|0 0
|1 0
|4 0
|6 510_100000000000000_V397L
|7 0
|8 CG
|9 188970
|a 19
|b 19
|c CG
|d 2012-08-15
|i 19100446
|l 5
|o 510.1 V397l
|p 19100446
|r 2014-04-24
|s 2014-04-24
|t 1
|w 2012-08-15
|y BK
|