Словарь представляет собой справочник, излагающий основные понятия, операции и законы логики. Его задача - познакомить читателя с логикой как одной из теоретических основ информатики. Словарь будет полезен учителям, учащимся старших классов, студентам педагогических институтов, а также всем, интересующимся проблемами логики.