@misc{ais_repository_9985, title = {Mathematical Logic}, author = {Roman Kossak}, year = {2021}, publisher = {Springer Science+Business Media}, howpublished = {Repository AIS}, note = {oai:ais:library-item:18928} }