Mathematical Logic through Python
Mathematical Logic and Computation
Mathematical Logic (Dover Books on Mathematics)
Dover Publications
Mathematical Logic (Graduate Texts in Mathematics)
A Mathematical Introduction to Logic
Academic Press