Introduction to mathematical logic - Walicki, Michał (World Scientific, 2012)