Úvod do matematickej logiky - Mathé, Svätoslav (Československá vedeckotechnická spoločnosť, 1980)