Roman Kossak (2018) ‘Mathematical Logic’, Springer Science+Business Media. oai:ais:library-item:18928