Publications

Export 1 results:

Filters: Author is Anton Setzer [Clear All Filters]

1999

G. Jäger, R. Kahle, A. Setzer, and T. Strahm, “The proof-theoretic analysis of transfinitely iterated fixed point theories”, The Journal of Symbolic Logic, vol. 64, p. 53{–}67, 1999.