Книга «Чень Ч., Ли Р. - Математическая логика и автоматическое доказательство теорем (Наука, 1983)»
Вы выбрали книгу «Чень Ч., Ли Р. - Математическая логика и автоматическое доказательство теорем (Наука, 1983)». Вы можете совершенно бесплатно скачать эту книгу, но только для ознакомления и личного, не коммерческого использования. Ссылка на скачивание расположена ниже на странице.
Для начала скачивания выберите сервер и нажмите ссылку «скачать»
|
|||||
Обозначение: | Чень Ч., Ли Р. - Математическая логика и автоматическое доказательство теорем (Наука, 1983) | ||||
Раздел библиотеки: | |||||
|