Ивин А.А., Никифоров А.Л. Словарь по логике

М.: Гуманит, изд. центр ВЛАДОС, 1997. — 384 с. — ISBN 5-691-00099-3. Словарь представляет собой справочник, излагающий основ­ные понятия, операции и законы логики. Его задача — познакомить читателя с логикой как одной из теоретических основ информатики. Словарь будет полезен учителям, учащимся старших классов, сту­дентам педагогических институтов, а также всем, интересующимся проблемами логики.