Математика и математические науки. Логика
Новиков П. С. Конструктивная математическая логика

Новиков П. С. Конструктивная математическая логика / П. С. Новиков. – М. : Наука, 1977. – 165 с. (Мат. логика и основания математики).
Только авторизованные читатели могут просмотреть файл