TY - BOOK AU - Margaris , Angelo TI - First order mathematical logic U1 - 164 PY - 1967/// CY - Waltham PB - Blaisdell Publishing KW - Mathematical Logic ER -