TY - BOOK AU - Margaris,Angelo TI - First order mathematical logic T2 - A Blaisdell book in pure and applied mathematics U1 - 164 PY - 1967/// CY - Waltham, Mass. PB - Blaisdell Pub. Co. KW - First-order logic N1 - Bibliography: p. 195-199. and index ER -