Search for 'an:2136933' with limit(s): 'suppress:false'

Вычислимые классы конструктивизаций 2-конструктивизируемых моделей

By С.Ю. Подзоров.
Новосибирск Б.и. 1999 .
11 с. 20.

Алгебраическая модель конструктивной логики , [монография]

By В.А. Хромушин, К.Ю. Китанина, О.В. Хромушин.
Тула Изд-во ТулГУ 2017 .
245 с. 20.
978-5-7679-3960-2

Конструктивные модели

By Сергей С. Гончаров, Юрий Л. Ершов.
Новосибирск Науч. кн. 1999 .
XII, 345 c. , В вып. дан. авт.: чл.-корр. РАН С.С. Гончаров, акад. Ю.Л. Ершов 21.
5-88119-021-1

Совершенствование алгебраической модели конструктивной логики , монография

By В. А. Хромушин, К. Ю. Китанина, О. В. Хромушин, С. Ю. Федоров.
Тула Изд-во ТулГУ 2015 .
100 с. 29.
9785767930029