Як парость виноградної лози, плекайте мову 👉 UA

Книга 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

Cвязаться