|
|
|
|
| LEADER |
00000nam a22000007a 4500 |
| 001 |
SBUV016340 |
| 006 |
a 000 0 |
| 008 |
991106s1989 000 0 d |
| 020 |
|
|
|a 0521389232
|
| 035 |
|
|
|a (Sirsi) i9780521389235
|
| 035 |
|
|
|a (Sirsi) SBUV016340
|
| 050 |
|
4 |
|a QA9.59
|b B66
|3 1989
|
| 082 |
|
4 |
|a 511.3
|b B724c
|
| 100 |
|
|
|a Boolos, George S.
|
| 245 |
|
0 |
|a Computability and logic
|c / George S. Boolos, Richard C. Jeffrey
|
| 250 |
|
|
|a 3rd ed
|
| 260 |
|
|
|a New York
|b : Cambridge University Press,
|c 1989 (reimpr. 1992)
|
| 300 |
|
|
|a x, 304 p
|c ; 23 cm.
|
| 490 |
0 |
|
|a Open university set book
|
| 650 |
|
4 |
|a Funciones recursivas
|9 355486
|
| 650 |
|
4 |
|a Lógica matemática
|
| 650 |
|
4 |
|a Programación (Computadoras)
|
| 700 |
|
|
|a Jeffrey, Richard C.
|e , coaut.
|
| 902 |
|
|
|a DBUV
|
| 596 |
|
|
|a 2
|
| 942 |
|
|
|c LIBRO
|6 _
|
| 999 |
|
|
|c 12606
|d 12606
|
