Login / Signup

The proof-theoretic analysis of transfinitely iterated quasi least fixed points.

Dieter Probst
Published in: J. Symb. Log. (2006)
Keyphrases