共 50 条
- [23] SOME ELEMENTARY PROOFS IN FIXED-POINT THEORY PROCEEDINGS OF THE KONINKLIJKE NEDERLANDSE AKADEMIE VAN WETENSCHAPPEN SERIES A-MATHEMATICAL SCIENCES, 1980, 83 (04): : 437 - 444
- [26] On the (infinite) model theory of fixed-point logics MODELS, ALGEBRAS, AND PROOFS, 1999, 203 : 67 - 75