Well-written undergraduate-level introduction begins with symbolic logic and set theory, followed by presentation of statement calculus and predicate calculus.Also covers first-order theories, completeness theorem, Godel's incompleteness theorem, much more. Exercises. Bibliography.Basic introduction covering isoperimetric problems, theory of elasticity, quantum mechanics, electrostatics, etc. ... Classic of 20th-century foundational research deals with the conceptual problem posed by the continuum. 156pp. 5* x 8*. 67982-9 CHALLENGING MATHEMATICAL PROBLEMS WITH ELEMENTARY SOLUTIONS, A. M. Yaglom and I. M. ... 65218-1 STATISTICS MANUAL, Edwin L. Crow et al.

Title | : | First Order Mathematical Logic |

Author | : | Angelo Margaris |

Publisher | : | Courier Corporation - 1990 |

Continue