Uvod u logiku prvog reda

Uvodeći čitatelje u elementarnu logiku prvog reda, autorica se ponajprije bavi artikulacijom općih pravila zaključivanja. Kroz mnoštvo primjera i zadataka u kojima putem varijabli (kao simbola koji impliciraju općenitost) balansira između apstraktnih logičkih pojmova i njihove primjene u analizi svakodnevnih zaključaka, ona pokazuje kako spomenuta pravila funkcioniraju kao modeli primjenjivi na svako zaključivanje, neovisno o njegovu predmetu. Udžbenik je namijenjen studentima kao uvod u simboličku logiku, ali može poslužiti i srednjoškolcima kao dopunska literatura u nastavi logike.