TY - BOOK AU - Margaris Angelo TI - First order mathematical logic T2 - Blaisdell book in pure and applied mathematics U1 - B:R1, K73-;1 PY - 1967/// CY - Waltham PB - Blaisdell KW - Logic ER -