VLB Suche

Suche in den Daten des Verzeichnisses lieferbarer Bücher (VLB)

Drucken

Suchergebnisse

Produktdetails

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

Autor
W. Buchholz, S. Feferman, W. Pohlers, W. Sieg

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

Verlag
Springer Berlin
ISBN/EAN
978-3-540-11170-2
Preis
37,40 EUR
Status
lieferbar