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 |
Библиогр.: с. 422-426
Указ. имен. и предм.: с. 427 - 432
There are no comments on this title.