Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies

Name: Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies
ISBN: 9783540111702

W. Buchholz , S. Feferman , W. Pohlers

Оценок пока нет

Dec 1, 1981 · Английский · Мягкая обложка (392 страницы)

Оценить эту книгу

Детали книги

Формат Мягкая обложка

Страницы 392

Язык Английский

Опубликовано Dec 1, 1981

Издатель Springer

ISBN-10 3540111700

ISBN-13 9783540111702

Used - Like New

Оценить эту книгу