Úvod do matematickej logiky - Mathé, Svätoslav (Dom techn. ČSVTS, 1980)