TY - BOOK AU - Margaris, Angelo TI - First order mathematical logic U1 - 510 M336F PY - 1967/// CY - Waltham PB - Blaisdell Publishing ER -