Siirry suoraan sisältöön
Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies
Tallenna

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

Painos
1981 ed.
ISBN
9783540111702
Kieli
englanti
Paino
310 grammaa
Julkaisupäivä
1.12.1981
Sivumäärä
384