Davor Lauc - Elementi simboličke logike : uz udžbenik Logika Gaje Petrovića

Ova knjižica nadopunjuje udžbenik pok. prof. Gaje Petrovića u cilju njegovog usklađenja s aktualnim znanstvenim i metodičkim dostignućima, kao i važećim nastavnim planom. Uz obradu temeljnih tema simboličke logike, posebno su naglašene primjene suvremene logike u trima najznačajnijim područjima - informatici, matematici i znanostima o jeziku.