Login / Signup

The Proof-Theoretic Analysis of Transfinitely Iterated Fixed Point Theories.

Gerhard JägerReinhard KahleAnton SetzerThomas Strahm
Published in: J. Symb. Log. (1999)
Keyphrases