Конструктивные модели
Т2 В127.1/Г-657 - 1000 экз.5-88119-021-1/[99-42138]/русский/Конструктивные модели / Сергей С. Гончаров, Юрий Л. Ершов.Конструктивные модели / Сергей С. Гончаров, Юрий Л. Ершов.Конструктивные модели.Новосибирск/Науч. кн./, 1999 ( ). - Науч. кн., 1999. - XII, 345 c. ; 21 см. - (Сибирская школа алгебры и логики).Конструктивные модели. Новосибирск, 1999 .
В вып. дан. авт.: чл.-корр. РАН С.С. Гончаров, акад. Ю.Л. Ершов. - Библиогр.: с. 321-345 (393 назв.). Библиогр.: с. 321-345 (393 назв.).Модели в математической логике конструктивные/Конструктивные модели/В127.1/
В вып. дан. авт.: чл.-корр. РАН С.С. Гончаров, акад. Ю.Л. Ершов. - Библиогр.: с. 321-345 (393 назв.). Библиогр.: с. 321-345 (393 назв.).Модели в математической логике конструктивные/Конструктивные модели/В127.1/