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

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

W. Buchholz , S. Feferman , W. Pohlers

No ratings yet

1981 · English · Paperback · 2 editions

Rate this book

Export Book Journal

Description

Used - Like New

Book Details

Format Paperback

Pages 392 pages

Language English

Published Dec 1, 1981

Publisher Springer

Editions 2 editions

ISBN-10 3540111700

ISBN-13 9783540111702

Rate this book

Export Book Journal