Úvod do matematickej logiky - Mathé, Svätoslav (Československá vědecko-technická společnost, 1980)