Формальные исчисления и аксиоматические системы в неклассических логиках: автореферат диссертации на соискание ученой степени кандидата физико-математических наук: специальность 01.01.09 Математическая кибернетика и математическая логика / Болибекян Оганес Рафаелович
Захавана ў:
| Тып дакумента: | |
|---|---|
| Аўтар: | Болибекян, О. Р. |
| Апублікавана: | Ереван , 2002 |
| Фізіч. характарыстыкі: |
15 с., включая обложку
|
| Мова: | Руская |
| Прадмет: |
ОФХ отдела книгохранения
| Усяго : 1 , даступна: 1 | Даступна Замовіць | ||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|
|
|||||||||||