libcats.org
Главная →
Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies (Lecture Notes in Mathematics)
Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies (Lecture Notes in Mathematics)
W. Buchholz, S. Feferman, W. Pohlers, W. Sieg
Ссылка удалена правообладателем ---- The book removed at the request of the copyright holder.
Популярные книги за неделю:
Только что пользователи скачали эти книги:
#2
Чекисты
Герман Юрий Павлович, Щевьев Петр, Васильев Василий, Куликов Александр, Лобанов Александр, Гаврилов Леонард, Батенин Иван, Сапаров Ариф, Бахтюков Николай, Дмитриев Леонид, Михайлов Рафаэль, Дягилев Владимир, Репин Григорий, Николаев Михаил, Сергеев Алекса
|