Личный кабинет
253 записи
Успенский В. А., Верещагин Н. К., Плиско В. Е.
Вводный курс математической логики / Успенский В. А., Верещагин Н. К., Плиско В. Е. - 2-е изд. - М. : Физматлит, 2002. - 125 с. - Библиогр.:с. 122 . - ISBN 5-9221-0278-8 .
Вводный курс математической логики / Успенский В. А., Верещагин Н. К., Плиско В. Е. - 2-е изд. - М. : Физматлит, 2002. - 125 с. - Библиогр.:
1 экз.
Финаев В. И., Финаева Е. В.
Математическя логика : учеб. пособие / Финаев В. И., Финаева Е. В. ; Таганрог. гос. радиотехнический ун-т. - Таганрог : Изд-во Таганрогского государственного радиотехнического университета, 2001. - 59 с. - Библиогр.:с. 59 .
Математическя логика : учеб. пособие / Финаев В. И., Финаева Е. В. ; Таганрог. гос. радиотехнический ун-т. - Таганрог : Изд-во Таганрогского государственного радиотехнического университета, 2001. - 59 с. - Библиогр.:
1 экз.
Драгалин А. Г.
Конструктивная теория доказательств и нестандартный анализ / Драгалин А. Г. - М. : Эдиториал УРСС, 2003. - 543 с. - Библиогр.в конце тем . - ISBN 5-354-00388-1 . - ISBN 5-354-00387-3 .
Конструктивная теория доказательств и нестандартный анализ / Драгалин А. Г. - М. : Эдиториал УРСС, 2003. - 543 с. - Библиогр.
2 экз.
Смольяков Э. Р.
Математическая логика и некоторые ее приложения : учеб. пособие / Смольяков Э. Р. ; МГТУ им. Н. Э. Баумана. - М. : Изд-во МГТУ им. Н. Э. Баумана, 1992. - 34 с. - Библиогр.в конце брош. - ISBN 5-7038-0899-5 .
Математическая логика и некоторые ее приложения : учеб. пособие / Смольяков Э. Р. ; МГТУ им. Н. Э. Баумана. - М. : Изд-во МГТУ им. Н. Э. Баумана, 1992. - 34 с. - Библиогр.
64 экз.
Колмогоров А. Н., Драгалин А. Г.
Математическая логика : учеб. пособие для вузов / Колмогоров А. Н., Драгалин А. Г. ; МГУ им. М. В. Ломоносова. - М. : Эдиториал УРСС, 2004. - 238 с. - (Классический университетский учебник). - Библиогр.:с. 228 . - ISBN 5-354-00389-X .
Математическая логика : учеб. пособие для вузов / Колмогоров А. Н., Драгалин А. Г. ; МГУ им. М. В. Ломоносова. - М. : Эдиториал УРСС, 2004. - 238 с. - (Классический университетский учебник). - Библиогр.:
6 экз.
Колмогоров А. Н., Драгалин А. Г.
Математическая логика : учеб. пособие для вузов / Колмогоров А. Н., Драгалин А. Г. ; МГУ им. М. В. Ломоносова. - 2-е изд., стер. - М. : Эдиториал УРСС, 2005. - 238 с. - (Классический университетский учебник). - Библиогр.:с. 228 . - ISBN 5-354-01003-9 .
Математическая логика : учеб. пособие для вузов / Колмогоров А. Н., Драгалин А. Г. ; МГУ им. М. В. Ломоносова. - 2-е изд., стер. - М. : Эдиториал УРСС, 2005. - 238 с. - (Классический университетский учебник). - Библиогр.:
3 экз.
Клини С. К.
Математическая логика : пер. с англ. / Клини С. К. ; ред. пер. Минц Г. Е. ; пер. Гостев Ю. А. - 2-е изд., стер. - М. : Эдиториал УРСС, 2005. - 480 с. - Библиогр.:с. 451-465 . - ISBN 5-354-01011-X .
Математическая логика : пер. с англ. / Клини С. К. ; ред. пер. Минц Г. Е. ; пер. Гостев Ю. А. - 2-е изд., стер. - М. : Эдиториал УРСС, 2005. - 480 с. - Библиогр.:
3 экз.
Петров Ю. А.
Логические проблемы абстракций бесконечности и осуществимости / Петров Ю. А. ; отв. ред. Яновская С. А. - 2-е изд., испр. - М. : Эдиториал УРСС, 2004. - 163 с. - Библиогр.:с. 160-162 . - ISBN 5-354-00975-8 .
Логические проблемы абстракций бесконечности и осуществимости / Петров Ю. А. ; отв. ред. Яновская С. А. - 2-е изд., испр. - М. : Эдиториал УРСС, 2004. - 163 с. - Библиогр.:
1 экз.
Карри Хаскелл Б.
Основания математической логики / Карри Хаскелл Б. ; пер. с англ. Донченко В. В. ; ред. пер. Гастев Ю. А. - М. : Мир, 1969. - 567 с.
Основания математической логики / Карри Хаскелл Б. ; пер. с англ. Донченко В. В. ; ред. пер. Гастев Ю. А. - М. : Мир, 1969. - 567 с.
2 экз.
Ершов Ю. Л., Палютин Е. А.
Математическая логика : учеб. пособие / Ершов Ю. Л., Палютин Е. А. - 3-е изд., стер. - СПб. : Лань, 2004. - 336 с. -ISBN 5-8114-0533-2 .
Математическая логика : учеб. пособие / Ершов Ю. Л., Палютин Е. А. - 3-е изд., стер. - СПб. : Лань, 2004. - 336 с. -
3 экз.
