Жанр(ы): Математика

В книге доступно и достаточно полно изложены основные разделы современной математической логики и её приложения. Среди тем — логика высказываний, исчисление предикатов, формальная арифметика, теория алгоритмов,...