Fixed-point extensions of first-order logic

Источник:

Annals of Pure and Applied Logic, Volume 32, p.265-280 (1986)