Книга Logic for Computer Science: Foundations of Automatic Theorem Proving, Second Edition

Жан Гальє

Код товару: 20437396

Паперова книга «Logic for Computer Science: Foundations of Automatic Theorem Proving, Second Edition», автор Жан Гальє - фото №1

Книга Logic for Computer Science: Foundations of Automatic Theorem Proving, Second Edition

Жан Гальє

Код товару: 20437396

Формат

Мова книги

Видавництво

Рік видання

Категорія

Основи математики. Теорія чисел. Математична логіка

Характеристики

Автор

Жан Гальє

Видавництво

Dover Publications

Кількість сторінок

544

Відгуки

Виникли запитання? 0-800-335-425

Зв'язатися