Mali leksikon logike

Mali leksikon logike predstavlja stroke, ki se je v okviru filozofije in matematike razvila že v antiki. Ob klasični logiki so predstavljeni tudi temelji moderne logike, ki sega na področje računalniških jezikov in umetne inteligence.