Sequents and Trees

Name: Sequents and Trees
Brand: Springer Nature Switzerland AG
SKU: 1814890
Author: Andrzej Indrzejczak

Andrzej Indrzejczak

Knihu Sequents and Trees aktuálně nelze zakoupit v žádném z porovnávaných e-shopů...

Krátký popis

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

Zobrazit celý popis

Výběr knih vydavatele Springer Nature Switzerland AG

Automotive Disruption and the Urban Mobility Revolution

Cena od 1 089 Kč

Cena od 2 017 Kč

Cena od 1 485 Kč

Cena od 660 Kč

Cena od 825 Kč

Cena od 1 815 Kč

Cena od 825 Kč

Cena od 1 815 Kč

Zobrazit všechny knihy vydavatele Springer Nature Switzerland AG

Naše tipy

Cena od 398 Kč

Cena od 318 Kč

Cena od 199 Kč

Cena od 228 Kč