Roman Kossak, “Mathematical Logic,” Springer Science+Business Media, 2018.