Boekstra.nl - 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

Omschrijving

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

In de winkelwagen Geleverd met 5 werkdagen. Wenslijst Stel een vraag

In de winkelwagen Geleverd met 5 werkdagen. Wenslijst Stel een vraag

Gratis verzending vanaf
€ 19,95 binnen Nederland

Schrijver: Indrzejczak, Andrzej
Titel: Sequents and Trees
Uitgever: Springer Nature Switzerland AG

Jaar: 2020
Taal: Engels
Pagina's: 345
Gewicht: 711 gr

EAN: 9783030571443
Afmetingen: 235 x 155 x 29 mm
Bindwijze: Gebonden

U ontvangt bij ons altijd de laatste druk!

Rubrieken

Eten en drinken

Alle categorieën