TY - BOOK AU - Margaris,Angelo TI - First order Mathematical logic T2 - A blaisdell book in pure and applied mathematics SN - 0486662691 AV - BC128 M37 1990 PY - 1990/// CY - New York : PB - Dover publications, KW - Lemb KW - Lógica simbólica y matemática N1 - Incluye referencias e ìndice ER -