122384

References

J. C. Bradfield

On independence-friendly fixpoint logics

2004

Philosophia Scientiae 8/2

Open Access