P-M 478
Smullyan, Raymond M., 1919-2017
Logika prvého rádu / Raymond M. Smullyan ; Prel. Svatoslav Mathé. -- 1. vyd. -- Bratislava : Alfa, 1979. -- 212 s. : il., tb. -- (Edícia teoretickej literatúry). -- Orig.: First-Order Logic.
učebnice