Логика первого порядка. Формальное доказательство
eKhNUIR
Переглянути архів Інформація| Поле | Співвідношення | |
| Title |
Логика первого порядка. Формальное доказательство
|
|
| Creator |
Власенко, Д.И.
Куринной, Г.Ч. Невмержицкая, Е.Н. Шугайло, Е.А. |
|
| Subject |
Research Subject Categories::MATHEMATICS::Algebra, geometry and mathematical analysis::Algebra and geometry
|
|
| Date |
2015-06-05T08:29:16Z
2015-06-05T08:29:16Z 2015-06-05 |
|
| Type |
Working Paper
|
|
| Identifier |
http://dspace.univer.kharkov.ua/handle/123456789/10626
|
|
| Language |
uk
|
|