I am trying to setup a self study path to enhance my knowledge of mathematical logic. I haven't taken a logic course for a few years and my confidence on mathematical proofs is unnerving.
I am planning to attend college in a year to study physics and would perfer not to sit idle when I could be learning on my own. (I perfer self study anyway.)
I am currently going through the following books:
- The Feynman Lectures on Physics Vol. 1
- Basic Mathematics by Serge Lang (Checking on anything I'm not solid on before attempting calculus which I've only slightly dipped into)
- Godel, Escher, Bach: An Eternal Golden Braid
I would like to supplement this all with a refresher on logic and then perhaps a second course level book on mathematical logic.
I picked up Alfred Tarski's Introduction to Logic and so far it has been great however I don't see many people talking about it online. It seems other books are more highly recommended especially in the "Teach Yourself Logic" pdf by Peter Smith.
I'm wondering if it would be a better use of my time to get a book that will be self sufficient as a preface to higher mathematical logic. I wouldn't want to read through Tarski's book if there was another introductory book that presents the same material alongside more valuable information.
Or am I needlessly worrying?