The course is an introduction to the use of formal definitions and proofs in mathematics, and to basic results of elementary set theory, number theory, linear algebra, algebra and analysis. Specific ...

MATH.3300 — Online and Continuing Education Id: 008323 Offering: 2 Credits: 3-3 Description An introduction to symbolic logic. Symbolic logic provides a framework of formal reasoning with applications ...

The course is an introduction to the use of formal definitions and proofs in mathematics, and to basic results of elementary set theory, number theory, linear algebra, algebra and analysis. Specific ...

An excellent introduction to logic (in all possible worlds), September 24, 2002, by Dr. Lee D. Carlson (Baltimore, Maryland USA) [Amazon.com] It is too bad this book is out of print, for the authors ...