Computability and logic /
Guardado en:
| Autor principal: | |
|---|---|
| Otros Autores: | |
| Formato: | Libro |
| Lenguaje: | Inglés |
| Publicado: |
Cambridge :
University Press,
1974
|
| Materias: | |
| Aporte de: | Registro referencial: Solicitar el recurso aquí |
| LEADER | 00601nam a2200217 4500 | ||
|---|---|---|---|
| 001 | 001241 | ||
| 003 | arbauncb | ||
| 008 | 150325s1974 xxk g 000 0 eng d | ||
| 005 | 20171017110556.0 | ||
| 040 | |a AR-BaUNCB |c AR-BaUNCB | ||
| 245 | 1 | 0 | |a Computability and logic / |c George S. Boolos, Richard Jeffrey. |
| 260 | |a Cambridge : |b University Press, |c 1974 | ||
| 300 | |a 262 p. |c 22 cm. | ||
| 020 | |a 052120402X | ||
| 100 | 1 | |a Boolos, George S. | |
| 700 | 1 | |a Jeffrey, Richard | |
| 082 | 0 | 4 | |a 001.6 |
| 653 | |a Matemáticas aplicadas | ||
| 650 | 7 | |a Computación |2 mpirdes | |
| 650 | 7 | |a Lógica |2 mpirdes | |
| 999 | |c 1178 |d 1178 | ||