Imagen de Amazon.com
The decision problem : Solvable classes of quantificational formulas / Burton dreben, Warren d. goldfarb
Tipo de material:
TextoEditor: Reading, mass. : Addison-wesley, 1979Descripción: 271 páginasTipo de contenido: texto Tipo de medio: sin medio Tipo de portador: volumenISBN: 020102540xTema(s): Cálculo de predicados | Irresolubilidad (Lógica matemática)Clasificación LoC:QA9.35 | D73
| 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 | QA9.35 D73 (Navegar estantería(Abre debajo)) | 1 | Disponible | 24072 | ||
|
Libros
|
Libros Libros | Coleccion General | QA9.35 D73 (Navegar estantería(Abre debajo)) | 1 | Disponible | 25202 |
Total de reservas: 0
"advanced book program"
No hay comentarios en este titulo.