Algebra and Logic
Article
Jager,G;Kahle,R;Setzer,A;Strahm,T
JOURNAL OF SYMBOLIC LOGIC
1999
64
1
53-67
10.2307/2586750
The proof-theoretic analysis of transfinitely iterated fixed point theories
NOVA Math > NOVA Math > NOVA Math Publications > The proof-theoretic analysis of transfinitely iterated fixed point theories