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

Pas encore d'évaluations

Dec 1, 1981 · Anglais · Broché (392 pages)

Ajouter à l'étagère

Évaluer ce livre

Exporter le journal de lecture

Détails du livre

Format Broché

Pages 392

Langue Anglais

Publié Dec 1, 1981

Éditeur Springer

ISBN-10 3540111700

ISBN-13 9783540111702

Description

Used - Like New

Ajouter à l'étagère

Évaluer ce livre

Exporter le journal de lecture