Расширенный поиск

Успенский В. А., Верещагин Н. К., Плиско В. Е.
   Вводный курс математической логики / Успенский В. А., Верещагин Н. К., Плиско В. Е. - М. : Физматлит, 2004. - 125 с. - Библиогр.: с. 122. - ISBN 5-9221-0278-8.

Успенский В. А., Верещагин Н. К., Плиско В. Е.
   Вводный курс математической логики / Успенский В. А., Верещагин Н. К., Плиско В. Е. - М. : Физматлит, 2007. - 125 с. - Библиогр.: с. 122. - Авт. на обл. не указаны. - ISBN 978-5-9221-0278-0.

Успенский В. А.
   Теорема Гёделя о неполноте / Успенский В. А. - М. : Наука, 1982. - 110 с. - (Популярные лекции по математике ; вып. 57). - Библиогр.: с. 6.

Успенский В. А.
   Что такое аксиоматический метод? / Успенский В. А. - Ижевск : Регулярная и хаотическая динамика : Издательский дом "Удмуртский университет", 2000. - 98 с. - ISBN 5-7029-0337-4.

Ушаков А. Л.
   Анализ стационарных физических систем методом итерационных расширений : 2. 3. 1-Системный анализ, управление и обработка информации, статистика : автореф. дис... дф-мн / Ушаков А. Л. ; Южно-Уральский государственный ун-т (национальный исследовательский ун-т). - Челябинск, 2023. - 31 с.

Фалевич Б. Я.
   Теория алгоритмов : учеб. пособие для вузов / Фалевич Б. Я. - М. : Машиностроение, 2004. - 160 с. : ил. - Библиогр.: с. 160. - ISBN 5-217-03249-9.

Финаев В. И., Финаева Е. В.
   Математическя логика : учеб. пособие / Финаев В. И., Финаева Е. В. ; Таганрог. гос. радиотехнический ун-т. - Таганрог : Изд-во Таганрогского государственного радиотехнического университета, 2001. - 59 с. - Библиогр.: с. 59.

Френкель А. А., Бар-Хиллел И.
   Основания теории множеств : пер. с англ. / Френкель А. А., Бар-Хиллел И. ; пер. Гастев Ю. А. ; ред. пер. и авт. вступ. ст. Есенин-Вольпин А. С. - 2-е изд., стер. - М. : КомКнига, 2006. - 554 с. - Библиогр.: с. 422-537. - ISBN 5-484-00494-2.

Фролов С. В., Шостак Р. Я.
   Курс высшей математики : учеб. пособие для втузов / Фролов С. В., Шостак Р. Я. - М. : Высшая школа, 1966. - 662 с.

Хаггард Г., Шлипф Дж., Уайтсайдс С.
   Дискретная математика для программистов : [учеб. пособие] / Хаггард Г., Шлипф Дж., Уайтсайдс С. ; пер. с англ. Шихова Н. А. ; ред. пер. Сапоженко А. А. - М. : БИНОМ. Лаборатория знаний, 2014. - 627 с. : ил. + CD-ROM. - ISBN 978-5-94774-348-7.