Електронний каталог: Смирнов Владимир Александрович - Формальный вывод и логические исчисления

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

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

Смирнов Владимир Александрович - Формальный вывод и логические исчисления

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

Книга
Автор: Смирнов Владимир Александрович
Формальный вывод и логические исчисления
Издательство: Наука, 1972 г.
ISBN отсутствует

Заказать

На полку