Logika prvého rádu - Smullyan, Raymond Merrill, 1919- (Bratislava : Alfa, 1979)