Имя, фамилия: W. Buchholz + S. Feferman + W. Pohlers + W. Sieg
Количество книг: 3
Тип автора:
Id Название Разширение Просмотр Скачать
1 W. Buchholz + S. Feferman + W. Pohlers + W. Sieg - Iterated Inductive Definitions and Subsystems of Analysis djvu Просмотр Недоступна
2 W. Buchholz + S. Feferman + W. Pohlers + W. Sieg - Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies djvu Просмотр Недоступна
3 W. Buchholz + S. Feferman + W. Pohlers + W. Sieg - Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies (Lecture Notes in Mathematics) pdf Просмотр Недоступна