Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoreti
47,97 €
Short Title ITERATED INDUCTIVE DEFINITIONS. Inductive definitions and subsystems of analysis. - Proof theoretic equivalences between classical and constructive theories for analysis. - Ordinal analysis of ID?.
Jetzt bei Ebay: