Fixed-point extensions of first-order logic

Тип публикация:

Journal Article

Автори:

Yuri Gurevich; Saharon Shelah

Източник:

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