Logika - Petrović, Gajo (Element, 1994)
Prilog: Elementi simboličke logike / Davor Lauc