TY - BOOK AU - Margaris,Angelo TI - First order mathematical logic SN - 0486662691 U1 - 511.3 PY - 1990/// CY - New York PB - Dover Publications KW - First-order logic N1 - Reprint. Originally published: Waltham, Mass. : Blaisdell Pub. Co., 1967. Originally published in series: A Blaisdell book in pure and applied mathematics; Includes bibliographical references (p. 195-199) and indexes UR - http://www.loc.gov/catdir/description/dover032/89029569.html UR - http://www.loc.gov/catdir/toc/dover031/89029569.html ER -