Електронний каталог: Чень Ч. - Математическая логика и автоматическое доказательство теорем

• Нові надходження
• Простий пошук
• Розширений пошук
• Допомога
• Автори
• Видавництва
• Серії
• Тезаурус (Рубрики)
• Публічні полиці

Штрих-код
Пароль

Чень Ч. - Математическая логика и автоматическое доказательство теорем

Доступно
 2 из 3

Книга
Автор: Чень Ч.
Математическая логика и автоматическое доказательство теорем
Серия: Математическая логика и основания математики
Издательство: Наука, 1983 г.
ISBN отсутствует

Заказать

На полку