Normal view
MARC view
Теория алгорифмов А. А. Марков, Н. М. Нагорный
Material type: TextSeries: Математическая логика и основания математикиPublication details: Москва Наука 1984Description: 432 сSubject(s): теория алгорифмов | семантика конструктивная | математическая логика конструктивная | предикаты | конструктивные объекты, семиотика | алгорифмы нормальные | алгорифмы универсальные | алгорифмы, теоремы невозможности | функции вербальные вычислимые | исчисления ассоциативные | Туэ проблема | числа действительные конструктивные | функции действительные конструктивные | функции непрерывные знакопеременные | Математический анализ | импликацияItem type | Current library | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|
Выдается в читальный зал | Книгохранилище | 1-554900 (Browse shelf (Opens below)) | Available | 13820000855539 | |
1 месяц | Книгохранилище | 1-577551 (Browse shelf (Opens below)) | Available | 13820000852344 |
Browsing Научная библиотека ТГУ shelves, Shelving location: Книгохранилище Close shelf browser (Hides shelf browser)
Библиогр.: с. 422-426
Указ. имен. и предм.: с. 427 - 432
There are no comments on this title.