A beginner's further guide to mathematical logic - Smullyan, Raymond M. (World Scientific, 2017)