First order mathematical logic
Margaris, Angelo.
First order mathematical logic Angelo Margaris. - New York : Dover Publications, 1990. - x, 211 p.
9780486662695 = Mathematics Collection
First Order theories.
Predicate calculus.
511.3 M336F
First order mathematical logic Angelo Margaris. - New York : Dover Publications, 1990. - x, 211 p.
9780486662695 = Mathematics Collection
First Order theories.
Predicate calculus.
511.3 M336F