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 | 00592nam 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 |