Logika prvého rádu - Smullyan, Raymond M (Alfa, 1979)