Journal | Authors
On independence-friendly fixpoint logics
2004
J. C. Bradfield
Philosophia Scientiae 8/2
