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