Юлия Вайнштейн, Татьяна Пенькова, Виталий Вайнштейн – Математическая логика и теория алгоритмов
Изложены темы, традиционно изучаемые в курсе математической логики и теории алгоритмов: алгебра логики и исчисление высказываний, логика и исчисление предикатов, формальные [...]