00432pam a2200133 a 4500020002100000020001800021082001500039100002100054245003500075260003900110300002500149500002000174650010400194  a0486662691 (pbk)  a978048666269500a511.3bMAR1 aMargaris, Angelo10aFirst order mathematical logic  aNew YorkbDover Publicationsc1990  ax, 211 p. c; 22 cm.  aincludes index. 0aFirst-Order logicaMathematicsvCalculusvMathematical logicvFormulationvPredicate calculusvMath