Computability and logic /
| Autor principal: | |
|---|---|
| Otros Autores: | |
| Formato: | Libro |
| Lenguaje: | English |
| Publicado: |
Gran Bretaña :
Cambridge University Press ,
1980
|
| Edición: | 2a. ed. |
| Materias: |
| LEADER | 00593nam a22001931a 4500 | ||
|---|---|---|---|
| 001 | UNA01000072755 | ||
| 005 | 20120328192514.0 | ||
| 008 | 080728s1980 000 0 eng d | ||
| 020 | |a 0521299675 | ||
| 040 | |a Sistema de Bibliotecas de la Universidad Nacional de Costa Rica | ||
| 082 | 0 | 4 | |a 511.3 |b B724c |
| 100 | 1 | |a Boolos, George | |
| 245 | 1 | 0 | |a Computability and logic / |c George Boolos y Richard Jeffrey |
| 250 | |a 2a. ed. | ||
| 260 | |a Gran Bretaña : |b Cambridge University Press , |c 1980 | ||
| 300 | |a 285 p. ; |c 22 cm. | ||
| 650 | 0 | 4 | |a LOGICA |
| 650 | 0 | 4 | |a LOGICA MATEMATICA |
| 700 | 1 | |a Jeffrey, Richard | |