Introduction to Mathematical Logic
Logic of mathematics or mathematics of Logic?
Mathematics and Logic
A Course on Mathematical Logic
Logic, Mathematics, and Computer Science
Mathematical Logic
Cultures of Mathematics and Logic
The Oxford Handbook of Philosophy of Mathematics and Logic