Portada

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

SPRINGER
12 / 1981
9783540111702
Inglés
Lecture Notes in Mathematics
Ingles
PVP
36,35