Elementi simboličke logike : uz udžbenik Logika Gaje Petrovića - Lauc, Davor (Element, 2004)