Vista normal
Vista MARC
Completeness, compactness and undecidability : an introduction to mathematical logic / Alfred B. Manaster.
Tipo de material: TextoDetalles de publicación: Englewood Cliffs, N.J. : Prentice-Hall, 1975.Descripción: vi, 154 p. ; 23 cmISBN:- 0131646249
- QA 9 M294.1975
Tipo de ítem | Biblioteca actual | Colección | Signatura topográfica | Estado | Notas | Fecha de vencimiento | Código de barras | |
---|---|---|---|---|---|---|---|---|
Libros | Biblioteca Francisco Xavier Clavigero Acervo | Acervo General | QA 9 M294.1975 (Navegar estantería(Abre debajo)) | Disponible | BOOK | 066852 |
Incluye bibliografía (p. 149-150) e índice.