Fixed-point extensions of first-order logic

Yuri Gurevich, Saharon Shelah. Fixed-point extensions of first-order logic. Annals of Pure and Applied Logic, 32:265-280, 1986. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.