Logika prvého rádu - Smullyan, Raymond M. (Edícia teoretickej literatúry, 1979)