3733 записи
Московский государственный технический ун-т гражданской авиации
Научный вестник. - М., 1998.
№ 65 : Серия: Информатика. Прикладная математика / отв. ред. Соломенцев В. В. - 2003. - 176 с. - Библиогр.в конце статей . - ISBN 5-86311-389-8 .
Научный вестник. - М., 1998.
№ 65 : Серия: Информатика. Прикладная математика / отв. ред. Соломенцев В. В. - 2003. - 176 с. - Библиогр.
Колмогоров А. Н., Драгалин А. Г.
Математическая логика : учеб. пособие для вузов / Колмогоров А. Н., Драгалин А. Г. ; МГУ им. М. В. Ломоносова. - М. : Эдиториал УРСС, 2004. - 238 с. - (Классический университетский учебник). - Библиогр.:с. 228 . - ISBN 5-354-00389-X .
Математическая логика : учеб. пособие для вузов / Колмогоров А. Н., Драгалин А. Г. ; МГУ им. М. В. Ломоносова. - М. : Эдиториал УРСС, 2004. - 238 с. - (Классический университетский учебник). - Библиогр.:
Колмогоров А. Н., Драгалин А. Г.
Математическая логика : учеб. пособие для вузов / Колмогоров А. Н., Драгалин А. Г. ; МГУ им. М. В. Ломоносова. - 2-е изд., стер. - М. : Эдиториал УРСС, 2005. - 238 с. - (Классический университетский учебник). - Библиогр.:с. 228 . - ISBN 5-354-01003-9 .
Математическая логика : учеб. пособие для вузов / Колмогоров А. Н., Драгалин А. Г. ; МГУ им. М. В. Ломоносова. - 2-е изд., стер. - М. : Эдиториал УРСС, 2005. - 238 с. - (Классический университетский учебник). - Библиогр.:
Клини С. К.
Математическая логика : пер. с англ. / Клини С. К. ; ред. пер. Минц Г. Е. ; пер. Гостев Ю. А. - 2-е изд., стер. - М. : Эдиториал УРСС, 2005. - 480 с. - Библиогр.:с. 451-465 . - ISBN 5-354-01011-X .
Математическая логика : пер. с англ. / Клини С. К. ; ред. пер. Минц Г. Е. ; пер. Гостев Ю. А. - 2-е изд., стер. - М. : Эдиториал УРСС, 2005. - 480 с. - Библиогр.:
Петров Ю. А.
Логические проблемы абстракций бесконечности и осуществимости / Петров Ю. А. ; отв. ред. Яновская С. А. - 2-е изд., испр. - М. : Эдиториал УРСС, 2004. - 163 с. - Библиогр.:с. 160-162 . - ISBN 5-354-00975-8 .
Логические проблемы абстракций бесконечности и осуществимости / Петров Ю. А. ; отв. ред. Яновская С. А. - 2-е изд., испр. - М. : Эдиториал УРСС, 2004. - 163 с. - Библиогр.:
Справочное пособие по высшей математике. - М. : Эдиториал УРСС, 2004.
Т. 2 : Математический анализ: ряды, функции векторного аргумента / Ляшенко И. И., Боярчук А. К., Гай Я. Г., Головач Г. П. - 2005. - 222 с. -ISBN 5-354-01083-7 .
Т. 2 : Математический анализ: ряды, функции векторного аргумента / Ляшенко И. И., Боярчук А. К., Гай Я. Г., Головач Г. П. - 2005. - 222 с. -
Справочное пособие по высшей математике. - М. : Эдиториал УРСС, 2004.
Т. 1 : Математический анализ: введение в анализ, производная, интеграл / Ляшко И. И., Боярчук А. К., Гай Я. Г., Головач Г. П. - 2004. - 358 с. -ISBN 5-354-00657-0 .
Т. 1 : Математический анализ: введение в анализ, производная, интеграл / Ляшко И. И., Боярчук А. К., Гай Я. Г., Головач Г. П. - 2004. - 358 с. -
Карри Хаскелл Б.
Основания математической логики / Карри Хаскелл Б. ; пер. с англ. Донченко В. В. ; ред. пер. Гастев Ю. А. - М. : Мир, 1969. - 567 с.
Основания математической логики / Карри Хаскелл Б. ; пер. с англ. Донченко В. В. ; ред. пер. Гастев Ю. А. - М. : Мир, 1969. - 567 с.
Ершов Ю. Л., Палютин Е. А.
Математическая логика : учеб. пособие / Ершов Ю. Л., Палютин Е. А. - 3-е изд., стер. - СПб. : Лань, 2004. - 336 с. -ISBN 5-8114-0533-2 .
Математическая логика : учеб. пособие / Ершов Ю. Л., Палютин Е. А. - 3-е изд., стер. - СПб. : Лань, 2004. - 336 с. -