TY - BOOK AU - Suppes,Patrick AU - Hill,Shirley AU - Lines,Escardo Enrique TI - Primer curso de lógica matemática / SN - 9686708014 AV - BC135 S96 1992 PY - 1992/// CY - Barcelona : PB - Reverte, KW - Lemb KW - Lógica matemática KW - Lógica simbólica N1 - Traducción de : First course in mathematical logic; Incluye ìndice ER -