The mathematics of logic : a guide to completeness theorems and their applications /

Detalles Bibliográficos
Autor principal: Kaye, Richard (Autor, Autor/a)
Formato: Libro
Lenguaje:English
Publicado: Cambridge : Cambridge University Press, 2007.
Materias:
LEADER 00860nam a2200241uu 4500
001 000140117
005 20200825110607.0
008 090902s2007 enk ||||| eng
020 |a 9780521708777 
035 |a 9239137 
040 |a Sistema de Bibliotecas de la Universidad de Costa Rica 
041 0 |a eng 
082 0 |a 511.3  |b K23m  |2 22 
100 1 |a Kaye, Richard  |e Autor/a  |4 aut 
245 1 4 |a The mathematics of logic :  |b a guide to completeness theorems and their applications /  |c Richard Kaye. 
260 |a Cambridge :  |b Cambridge University Press,  |c 2007. 
300 |a xii, 204 páginas :  |b ilustraciones. 
650 0 7 |a LOGICA, SIMBOLICA Y MATEMATICA  |v PROBLEMAS, EJERCICIOS, ETC. 
900 |a 2009 
912 |a 09-SEP-2009 - SALAZAR ALVAREZ, CLAUDIO 
917 |a 02-SEP-2009 - MALAVASSI AGUILAR, FLORA ALICIA 
949 |a CSA -KA 
916 |a Centro Catalográfico