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