Sequents and Trees: An Introduction to the Theory and Applications of Propositional Sequent Calculi (Studies in Universal Logic)

Wo zu kaufen (3) Eigenschaften
Gesponsert
Sequents and Trees: An Introduction to the Theory and Applications of Propositional Sequent Calculi (Studies in Universal Logic)
Medimops DE
49.98 EUR
Preis aktualisiert am: 09-11-2026 15:15:02
Siehe Produktangebot
Gesponsert
Sequents and Trees
SpringerLink DE
53.49 EUR
Preis aktualisiert am: 09-11-2026 14:09:05
Siehe Produktangebot
Gesponsert
Sequents and Trees
Hugendubel
53.49 EUR
Preis aktualisiert am: 10-11-2026 01:41:46
Siehe Produktangebot

Allgemein

Marke
Andrzej Indrzejczak

Eigenschaften

Ähnliche Produkte

Sequents and Trees: An Introduction to the Theory and Applications of Propositional Sequent Calculi (Studies in Universal Logic)
Sequents and Trees: An Introduction to the Theory and Applications of Propositional Sequent Calculi (Studies in Universal Logic)
Aus69.43 EUR 2
Produkt anzeigen
Herbrand Sequent Extraction
Herbrand Sequent Extraction
Aus47.04 EUR 3
Produkt anzeigen
Algorithms for Quantified Cut-Introduction: Introducing quantified cuts in sequent calculus
Algorithms for Quantified Cut-Introduction: Introducing quantified cuts in sequent calculus
Aus159.60 EUR 2
Produkt anzeigen
De Demonstratione, Libri Quinque, Nunc Primum In Lucem Aediti: Quorum Argumenta Proxime Sequentes Pagellae Indicabunt (1560)
De Demonstratione, Libri Quinque, Nunc Primum In Lucem Aediti: Quorum Argumenta Proxime Sequentes Pagellae Indicabunt (1560)
Aus35.00 EUR 1
Produkt anzeigen
Zu Gedächtnisspanne, schlußfolgerndem Denken & sequentiellem Gedächtnis beim Kind
Zu Gedächtnisspanne, schlußfolgerndem Denken & sequentiellem Gedächtnis beim Kind
Aus17.95 EUR 1
Produkt anzeigen
Introduction aux calculs des séquents: Raisonner avec Joseph Dopp
Introduction aux calculs des séquents: Raisonner avec Joseph Dopp
Aus16.00 EUR 1
Produkt anzeigen
Menü