Книга «Смирнов В.А. - Поиск доказательств в натуральном интуиционистском исчислении предикатов»
Вы выбрали книгу «Смирнов В.А. - Поиск доказательств в натуральном интуиционистском исчислении предикатов». Вы можете совершенно бесплатно скачать эту книгу, но только для ознакомления и личного, не коммерческого использования. Ссылка на скачивание расположена ниже на странице.
• Все разделы > Философия
Для начала скачивания выберите сервер и нажмите ссылку «скачать»
|
|||||
Обозначение: | Смирнов В.А. - Поиск доказательств в натуральном интуиционистском исчислении предикатов | ||||
Раздел библиотеки: | |||||
|