Вступ до аналізу
Підтеми:
Документи:
- Сложностные проблемы математической логики [Текст] : сб. науч. трудов / Калинин. гос. ун-т ; [редкол.: М. И. Канович (отв. ред.) и др.]. — Калинин : Изд-во ГУ, 1985. — 103 с.
- Справочная книга по математической логике. В 4-х частях [Текст] : справочная книга / под ред. Дж. Барвайса. Пер. с англ. С. Г. Давыдова, Г. Е. Минца. Под ред. Оревкова В. П. — М. : Наука, 1983. — 393 с.
- Справочная книга по математической логике. В 4-х частях [Текст] : справочная книга / под ред. Дж. Барвайса. Пер. с англ. С. Г. Дворникова, И. А. Лаврова. Под ред. Ю. Л. Ершова. — М. : Наука, 1982. — 360 с.
- Справочная книга по математической логике. В 4-х частях [Текст] : справочная книга / под ред. Дж. Барвайса. Пер. с англ. С. С. Гончарова и др. Под ред.Ю. Л. Ершова. — М. : Наука, 1982. — 392 с.
- Справочная книга по математической логике. В 4-х частях [Текст] : справочная книга / под ред. Дж. Барвайса. — М. : Наука, 1982. — 374 с.
- Справочная книга по матетатической логике [Текст] : в 4 ч. / под ред. Дж.Барвайса. — М. : Наука, 1982. — 360 с.
- Справочная книга по матетатической логике [Текст] : в 4 ч. / под ред. Дж.Барвайса. — М. : Наука, 1982. — 375 с.
- Справочная книга по матетатической логике [Текст] : в 4 ч. / под ред. Дж.Барвайса. — М. : Наука, 1982. — 392 с.
- Справочная книга по матетатической логике [Текст] : в 4 ч. / под ред. Дж.Барвайса. — М. : Наука, 1983. — 391 с.
- Стабильные теории [Текст] : учеб. пособие / Караганд. гос. ун-т. — Караганда : Изд-во КГУ, 1981. — 94 с.
- Тайны катастрофы [Текст] : пер. с фр. / И. Стюарт. — М. : Мир, 1987. — 76 с.
- Теорема Гёделя о неполноте [Текст] / Владимир Успенский. — М. : Наука, 1982. — 112 с.
- Теоретические применения методов математической логики [Текст] : сб. работ / под ред.: Д. Ю. Григорьева, В. П. Оревкова. — Л. : Наука, 1981. — 200.
- Теория алгоритмов и математическая логика [Текст] / АН СССР, ВЦ ; под ред. Б. А. Кушнера, Н. М. Нагорного. — М. : [б. и.], 1974. — 216 c.
- Теория дедуктивных систем и ее применения [Текст] / Сергей Маслов. — М. : Радио и связь, 1986. — 136 с.
- Теория доказательств [Текст] / пер. с англ. С. К. Соболева; под ред. С. И. Адяна. — М. : Мир, 1978. — 412 с.
- Теория матриц [Текст] / Ф.Р. Гантмахар. — М. : Гостехиздат, 1953. — 491 с.
- Теория матриц [Текст] / Ф.Р. Гантмахар. — М. : Гостехиздат, 1954. — 491 с.
- Теория матриц [Текст] / Ф.Р. Гантмахар. — М. : Наука, 1966. — 576 с.
- Теория множеств и функций. Математическая логика и алгебра [Текст] : избр. тр. / АН СССР, Отд-ние математики, Мат. ин-т им. В. А. Стеклова. — М. : Наука, 1979. — 396 с.
- Теория моделей и ее применения [Текст] / отв. ред. Ю. Л. Ершов. — Новосибирск : Наука, 1988. — 181, [2] с. — (ISSN0208-0060 / АН СССР, Ин-т математики).
- Теория топосов [Текст] / пер. с англ. А. П. Гагарина, В. В. Шокурова ; под ред. Ю. И. Манина. — М. : Наука, 1986. — 438 с.
- Теория формальных систем [Текст] / пер. с англ. Н. К. Косовского под ред. Н. А. Шанина. — М. : Наука, 1981. — 207 с.
- Топосы. Категорийный анализ логики [Текст] / пер. с англ.: В. Н. Гришина, В. В. Шокурова ; под ред. Д. А. Бочвара. — М. : Мир, 1983. — 486 с.
- Универсальная алгебра, алгебраическая логика и базы данных [Текст] / Борис Плоткин. — М. : Наука, 1991. — 446 с.
- Философско-методологические аспекты релевантной логики [Текст] / Евгений Войшвилло. — М. : Изд-во МГУ, 1988. — 139, [1] с.
- Хвильова динаміка структурованих середовищ [Текст] : монографія / НАН України, Ін-т геофізики ім. С. І. Субботіна, Ін-т теорет. фізики ім. М. М. Боголюбова. — Киев : Наук. думка, 2016. — 226 с.
- Числа рациональные и иррациональные [Текст] : пер. с англ. / под ред. Яглома И.М. — М. : Мир, 1966. — 198 с.
- Число моделей теорий [Текст] : учеб. пособие / Карагандин. гос. ун-т. — Караганда : КарГУ, 1983. — 102 с.
- Что такое нестандартный анализ? [Текст] / Владимир Успенский. — М. : Наука, 1987. — 128 с.
- Язык математических машин [Текст] / Г.О. Ефремов. — М. : Знание, 1967. — 32 с.
- Evolutionary computation and global optimization 2007 [Текст] / Politechnika Warszawska. — Warshawa : Wyd-wo PW, 2007. — 316 p.
- Schriften zur Logik. Aus dem NachlaB [Текст] / Gottlob Frece. — Verlin : Akademie-Verl., 1973. — 310 S.
- VII Всесоюзная конференция по математической логике, посвященная 75-летию академика А. И. Мальцева [Текст] : тез. докл. конф., 5-7 сент. 1984 г., Новосибирск / АН СССР, Ин-т математики [редкол.: Ю. Л. Ершов (председ.) и др.]. — Новосибирск : [б. и.], 1984. — 206 с.
1
2
3
4
|
