Biblio Export 1 results: RTF EndNote XML Filters: Автор is Yuri Gurevich [Clear All Filters]1986"Fixed-point extensions of first-order logic." Annals of Pure and Applied Logic 32 (1986): 265-280.Google Scholar RTF EndNote XML
