1986

1 reference published this year.

Fixed-point extensions of first-order logic
Yuri Gurevich et al. (1986) · Annals of pure and applied logic