QR-код құжаттың
517.1
Е 80
Ершов, Ю. Л.
Проблемы разрешимости и конструктивные модели : научное издание / Ю. Л. Ершов. - М. : Наука, 1980. - 415 с. : ил. - (Математическая логика и основания математики). - 720.00 тг
| ГРНТИ | 27 |
| УДК | 517.1 |
Рубрики: математика--математическая логика
Кл.слова (ненормированные):
алгебраические -- системы -- модели -- функторы -- кольца -- булевы
Экземпляры всего: 1
Книгохранение (1)
Свободны: Книгохранение (1)