Completeness, compactness, and undercidability : an introduction to mathematical logic /

Detalles Bibliográficos
Autor principal: Manaster, Alfred B. (Autor, Autor/a)
Formato: Libro
Lenguaje:English
Publicado: Englewood Cliffs, N.J. : Prentice Hall, 1975.
Materias:
LEADER 00727nam a2200205 u 4500
001 000254131
005 20110720143301.0
008 s1975 s1975 xxu ||||| eng
020 |a 0131646249 
035 |a 132133 
040 |a Sistema de Bibliotecas de la Universidad de Costa Rica 
041 0 |a eng 
082 0 |a 511.3  |b M267c  |2 00 
100 1 |a Manaster, Alfred B.  |e Autor/a  |4 aut 
245 1 0 |a Completeness, compactness, and undercidability :  |b an introduction to mathematical logic /  |c Alfred B. Manaster. -- 
260 |a Englewood Cliffs, N.J. :  |b Prentice Hall,  |c 1975. 
300 |a volúmenes 154 páginas :  |b ilustraciones ;  |c 23 cm 
650 |a LOGICA, SIMBOLICA Y MATEMATICA 
949 |a MRM-GA b.IR 
916 |a Registros del LS-2000