A course on mathematical logic (Springer, 2013)