The standard introductory logic text is

- Enderton, Herbert B. (1972) A Mathematical Introduction to Logic, Academic Press, NY.

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

- Hoskins, R. F. (1990) Standard and Nonstandard Analysis, Ellis Horwood, New York.

Last modified