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

Bibliographic Details
Main Author:	Новиков, Петр Сергеевич
Format:	Book
Language:	Russian
Published:	Москва Физматгиз 1959
Series:	Математическая логика и основания математики
Subjects:	основания математики математическая логика алгебра высказываний исчисление высказываний логика предикатов исчисление предикатов аксиоматическая арифметика доказательств теория (мат.) арифметика ограниченная

Similar Items