Перегляд за Автор "Власенко, Д.И."
Зараз показуємо 1 - 7 з 7
- Результатів на сторінці
- Налаштування сортування
Документ Аксиоматика натуральных чисел (2015)(2015-06-05) Власенко, Д.И.; Куринной, Г.Ч.; Невмержицкая, Е.Н.; Шугайло, Е.А.Документ Ассерторические, деонтические и эротетические логики (2015)(2015-06-05) Власенко, Д.И.; Куринной, Г.Ч.; Невмержицкая, Е.Н.; Шугайло, Е.А.Документ Введение в издательскую систему LATEX(2015-06-05) Власенко, Д.И.; Куринной, Г.Ч.Документ Вычислимость: машины Тьюринга и рекурсивные функции(2015-06-05) Власенко, Д.И.; Куринной, Г.Ч.Документ Логика первого порядка. Формальное доказательство(2015-06-05) Власенко, Д.И.; Куринной, Г.Ч.; Невмержицкая, Е.Н.; Шугайло, Е.А.Документ Рекурсивные функции (2015)(2015-06-05) Власенко, Д.И.; Куринной, Г.Ч.; Невмержицкая, Е.Н.; Шугайло, Е.А.Документ Теорема Гёделя(2015-06-05) Власенко, Д.И.; Куринной, Г.Ч.; Невмержицкая, Е.Н.; Шугайло, Е.А.