Mathematical Logic - Roman Kossak (Springer, 2018)