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

Ancora nessuna valutazione

Dec 1, 1981 · Inglese · Brossura (392 pagine)

Valuta questo libro

Dettagli del libro

Formato Brossura

Pagine 392

Lingua Inglese

Pubblicato Dec 1, 1981

Editore Springer

ISBN-10 3540111700

ISBN-13 9783540111702

Used - Like New

Valuta questo libro