Fixed-point extensions of first-order logic

Publication Type:

Journal Article

Source:

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