Margaris, Angelo

First order mathematical logic - New York Dover Publications 1990 - x, 211 p. ; 22 cm.

includes index.

0486662691 (pbk) 9780486662695


First-Order logic
Mathematics--Calculus--Mathematical logic--Formulation--Predicate calculus--Math

511.3 / MAR