Imagen de Amazon.com
Computability and logic / Georges bools, Richard c. jeffrey
Tipo de material:
TextoEditor: Cambridge : Cambridge University Press, c1989Edición: 3Descripción: 304 páginasTipo de contenido: texto Tipo de medio: sin medio Tipo de portador: volumenISBN: 052138026x; 0-521-38923-2Tema(s): Funciones recursivas | Lógica simbólica y matemáticaClasificación LoC:QA248.5 | B65 1989
| Tipo de ítem | Biblioteca actual | Colección | Clasificación | Copia número | Estado | Fecha de vencimiento | Código de barras | Reserva de ítems |
|---|---|---|---|---|---|---|---|---|
Libros
|
Libros Libros | Coleccion General | QA248.5 B65 1989 (Navegar estantería(Abre debajo)) | 1 | Disponible | 57859 |
Total de reservas: 0
Navegando Libros Estantes, Ubicación: Libros, Código de colección: Coleccion General Cerrar el navegador de estanterías (Oculta el navegador de estanterías)
|
|
|
|
|
|
|
||
| QA248.3 N37 Temas de matematicas | QA248.3 N3718 Numeros racionales | QA248.3 O82 1974 Introduccion a la teoria de conjuntos | QA248.5 B65 1989 Computability and logic / | QA248.5 D3 Computability & unsolvability | QA248.5 D3 Computability & unsolvability | QA248.5 D3 1982 Computability & unsolvability / |
No hay comentarios en este titulo.