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
Dec 1, 1981 · English · Paperback (392 pages)
Add To Shelf

Rate this book

Export Book Journal

Book Details

Format Paperback
Pages 392
Language English
Published Dec 1, 1981
Publisher Springer
ISBN-10 3540111700
ISBN-13 9783540111702

Description

Used - Like New
Add To Shelf

Rate this book

Export Book Journal