Roman Kossak (2018). Mathematical Logic. Springer Science+Business Media.