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