Gå direkte til innholdet
Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies
Spar

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

Opplag
1981 ed.
ISBN
9783540111702
Språk
Engelsk
Vekt
310 gram
Utgivelsesdato
1.12.1981
Antall sider
384