Математическая логика и теория алгоритмов логики и исчисление высказываний,
логика и исчисление предикатов, формальные аксиоматические теории
Математическая логика и теория алгоритмовКратко изложен теоретический материал по дисциплине «
Математическая логика и теория алгоритмов