Fixed-point extensions of first-order logic

Publication Type:

Journal Article

Authors:

Yuri Gurevich; Saharon Shelah

Source:

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