Лекции составленные преподавателем финансовой академии при
правительстве РФ. В удобной для изучения форме содержатся материалы
по теории множеств, логике высказываний, логике предикатов,
формальным теориям, булевым ф-ям, элементам теории кодирования,
функциям выбора.