The standard introductory logic text is
If you find this book heavy going, you probably need some background in proofs and abstract mathematics .
If you are interested in foundational issues involving numbers, or in non-standard analysis, you might also be interested in
Last modified