Logika prvého rádu - Smullyan, R.M (ALFA, 1979)