<p>I’m looking for a good textbook on introductory logic. Any recommendations?</p>
<p>Beginning:
How to Read and Do Proofs, by Daniel Solow
Godel’s Incompleteness Theorems, by Raymond Smullyan</p>
<p>More advanced:
A Mathematical Introduction to Logic, by Herbert Enderton
Mathematical Logic, by Joseph Shoenfield</p>