Proof Theory and Automated Deduction (Applied Logic Series, 6, Band 6)

Wo zu kaufen (3) Eigenschaften
Gesponsert
Proof Theory and Automated Deduction (Applied Logic Series, 6, Band 6)
Medimops DE
53.49 EUR
Preis aktualisiert am: 25-09-2026 06:00:51
Siehe Produktangebot
Gesponsert
Proof Theory and Automated Deduction
SpringerLink DE
53.49 EUR
Preis aktualisiert am: 25-09-2026 02:34:36
Siehe Produktangebot
Gesponsert
Proof Theory and Automated Deduction
Hugendubel
53.49 EUR
Preis aktualisiert am: 21-09-2026 07:22:23
Siehe Produktangebot

Allgemein

Marke
Springer

Eigenschaften

Ähnliche Produkte

An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof (Applied Logic Series) (Applied Logic Series, 27, Band 27)
An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof (Applied Logic Series) (Applied Logic Series, 27, Band 27)
Aus72.20 EUR 4
Produkt anzeigen
Mathematical Problems and Proofs: Combinatorics, Number Theory, And Geometry
Mathematical Problems and Proofs: "Combinatorics, Number Theory, And Geometry"
Aus92.98 EUR 4
Produkt anzeigen
Proof Theory and Algebra in Logic (Short Textbooks in Logic)
Proof Theory and Algebra in Logic (Short Textbooks in Logic)
Aus36.98 EUR 4
Produkt anzeigen
The Semantics and Proof Theory of the Logic of Bunched Implications
The Semantics and Proof Theory of the Logic of Bunched Implications
Aus160.49 EUR 3
Produkt anzeigen
Well-Quasi Orders in Computation, Logic, Language and Reasoning: A Unifying Concept of Proof Theory, Automata Theory, Formal Languages and Descriptive Set Theory (Trends in Logic (53), Band 53)
Well-Quasi Orders in Computation, Logic, Language and Reasoning: A Unifying Concept of Proof Theory, Automata Theory, Formal Languages and Descriptive Set Theory (Trends in Logic (53), Band 53)
Aus192.59 EUR 3
Produkt anzeigen
Computational Logic and Proof Theory: Third Kurt Gdel Colloquium, KGC'93, Brno, Czech Republic, August 24-27, 1993. Proceedings: Third Kurt Gdel ... Notes in Computer Science (713), Band 713)
Computational Logic and Proof Theory: Third Kurt Gdel Colloquium, KGC'93, Brno, Czech Republic, August 24-27, 1993. Proceedings: Third Kurt Gdel ... Notes in Computer Science (713), Band 713)
Aus53.49 EUR 3
Produkt anzeigen
Menü