Elementi simboličke logike : uz udžbenik Logika Gaje Petrovića - Lauc, Davor (Element, 2004)
Mali pojmovnik simboličke logike: str. 52-56