Vista normal
Vista MARC
Computability and logic / George S. Boolos, Richard C. Jeffrey
Tipo de material:
TextoDetalles de publicación: Cambridge : Cambridge University, 1989Edición: 3a edDescripción: x, 304 p. ; 23 cmISBN: - 0-521-38026-X
- QA 9.59 B66.1989
| Tipo de ítem | Biblioteca actual | Colección | Signatura topográfica | Estado | Fecha de vencimiento | Código de barras | |
|---|---|---|---|---|---|---|---|
| Libros | Biblioteca Francisco Xavier Clavigero Acervo | Acervo General | QA 9.59 B66.1989 (Navegar estantería(Abre debajo)) | Disponible | 178156 |
Navegando Biblioteca Francisco Xavier Clavigero estanterías, Ubicación en estantería: Acervo, Colección: Acervo General Cerrar el navegador de estanterías (Oculta el navegador de estanterías)
| QA 9.58 M36.2014 Diseño y construcción de algoritmos / | QA 9.58 M3713 The theory of algorithms / | QA 9.58 S3.1998 Introducción al análisis de algoritmos / | QA 9.59 B66.1989 Computability and logic / | QA 9.59 B6713.1989 Computability, complexity, logic / | QA 9.59 P75.2004 Teorías inseparables / | QA 9.6 O35.1989 Classical recursion theory : the theory of functions and sets of natural numbers / |
Incluye índice.
