Gå direkt till innehållet
Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies
Spara

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

Upplaga
1981 ed.
ISBN
9783540111702
Språk
Engelska
Vikt
310 gram
Utgivningsdatum
1981-12-01
Sidor
384