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