Boekstra - Indrzejczak, Andrzej - Sequents and Trees

Sequents and Trees

An Introduction to the Theory and Applications of Propositional Sequent Calculi

Indrzejczak, Andrzej - Sequents and Trees

Indrzejczak, Andrzej - Sequents and Trees

Indrzejczak, Andrzej - Sequents and Trees

Indrzejczak, Andrzej - Sequents and Trees

Description

This textbook offers a detailed introduction to the methodology and applications of sequent calculi in propositional logic.

In the shopping cart Delivered in 5 business days. Wishlist Ask a question

In the shopping cart Delivered in 5 business days. Wishlist Ask a question

Free shipping from
€ 19,95 within The Netherlands

Writer: Indrzejczak, Andrzej
Title: Sequents and Trees
Publisher: Springer Nature Switzerland AG

Year: 2020
Language: English
Pages: 345
Weight: 711 gr

EAN: 9783030571443
Dimensions: 235 x 155 x 29 mm
Binding format: Gebonden

You will always receive the last edition from us!

Categories

Food and drinks

Regional novels