Электронный каталог

Собрание сочинений [Текст]. Т. 1 : Конструктивная теория функций : (1905-1930) / Бернштейн Сергей Натанович ; АН СССР. - [М.] : Изд-во АН СССР, 1952. - 582 с., [1] л. портр. - Список тр. акад. С. Н. Бернштейна: с. 565-577.

Собрание сочинений [Текст]. Т. 2 : Конструктивная теория функций : (1931-1953) / Бернштейн Сергей Натанович ; АН СССР. - [М.] : Изд-во АН СССР, 1954. - 628 с. - Библиогр. в конце работ.

Очерки по конструктивной математике [текст] / Мартин-Леф Пер ; пер. с англ. Г. Е. Минца ; под ред. А. Г. Драгалина. - Москва : Мир, 1975. - 136 с. : граф. - (Библиотека сборника "Математика"). - Доп. тит. л.: Notes on constructive mathematics. By Per Martin-Lof. - Список лит.: с. 128-131; Указ.: с. 132-134.

Конструктивные модели [Текст] / Гончаров Сергей Севостьянович, Ершов Ю. Л. ; Ин-т математики СО РАН, Новосиб. гос. ун-т, Ин-т дискрет. математики и информатики. - Новосибирск : Науч. кн., 1999. - XI,345 с. ; 21 см. - (Сибирская школа алгебры и логики). - Библиогр.: с. 321-345. - ISBN 5-88119-021-1 : 78.00.

О логике конструктивной математики [текст] / Марков Андрей Андреевич - Москва : Знание, 1972. - 47 с. - (Новое в жизни, науке, технике. Математика, кибернетика ; 8). - Перед загл. авт.: А. А. Марков, чл.-кор. АН СССР. - Список лит.: с. 46 (7 назв.).

Модель P(фи)2 эвклидовой квантовой теории поля [текст] / Саймон Барри ; пер. с англ. Ю. М. Сухова и С. Б. Шлосмана ; под ред. Р. Л. Добрушина ; с предисл. Н. Н. Боголюбова. - Москва : Мир, 1976. - 357 с. - Список лит.: с. 334-347; Указ. имен. и предм.: с. 348-354.