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

Nog geen beoordelingen

Dec 1, 1981 · Engels · Paperback (392 pagina's)

Beoordeel dit boek

Boekdetails

Formaat Paperback

Pagina's 392

Taal Engels

Gepubliceerd Dec 1, 1981

Uitgever Springer

ISBN-10 3540111700

ISBN-13 9783540111702

Used - Like New

Beoordeel dit boek