Книга Proof Theory and Logic Programming: Computation as Proof Search

Name: Proof Theory and Logic Programming: Computation as Proof Search
SKU: 20912580
Price: 4779 UAH
Availability: InStock

Код товару: 20912580

Формат

Мова книги

Видавництво

Рік видання

Категорія

Опис книги

Shows how computation can be understood as proof search across classical, intuitionistic, and linear logics via sequent calculus.

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

Автор

Видавництво

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

334

Доставка

Вказати місто доставки Щоб бачити точні умови доставки

Варіанти оплати

Оплата карткою онлайн (через сервіс LiqPay)

Передплата за рахунком

Відгуки

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