TY - BOOK AU - Suppes,Patrick AU - Hill,Shirley AU - Linés Escardó,Enrique TI - Primer curso de lógica matemática AV - BC 135 S83.2002 PY - 2002/// CY - Barcelona PB - Reverté KW - Lógica simbólica y matemática N1 - Incluye índice; Traducción de First course in mathematical logic; Título de la cubierta: Introducción a la lógica matemática ER -