Элементы математической логики

Библиографическая информация
Главный автор:	Новиков, Петр Сергеевич
Формат:	Книга
Язык:	Russian
Публикация:	Москва Физматгиз 1959
Серии:	Математическая логика и основания математики
Предметы:	основания математики математическая логика алгебра высказываний исчисление высказываний логика предикатов исчисление предикатов аксиоматическая арифметика доказательств теория (мат.) арифметика ограниченная

Похожие документы