А. А. Ивин, А. Л. Никифоров Словарь по логике Гуманитарный
издательский центр Владос, МОСКВА 1998 Словарь представляет собой
справочник, излагающий основные понятия, операции и законы логики.
Его задача - познакомить читателя с логикой как одной из
теоретических основ информатики. Словарь будет полезен учителям,
учащимся старших классов, студентам педагогических институтов, а
также всем, интересующимся проблемами логики.