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

Wo zu kaufen (2) Eigenschaften
Gesponsert
Proof Theory and Automated Deduction (Applied Logic Series, 6, Band 6)
Medimops DE
53.49 EUR
Preis aktualisiert am: 20-06-2026 02:44:53
Siehe Produktangebot
Gesponsert
Proof Theory and Automated Deduction
SpringerLink DE
53.49 EUR
Preis aktualisiert am: 19-06-2026 19:00:01
Siehe Produktangebot

Allgemein

Marke
Springer

Eigenschaften

Ähnliche Produkte

Proof Theory and Algebra in Logic (Short Textbooks in Logic)
Proof Theory and Algebra in Logic (Short Textbooks in Logic)
Produkt anzeigen
Mathematical Problems and Proofs: Combinatorics, Number Theory, And Geometry
Mathematical Problems and Proofs: "Combinatorics, Number Theory, And Geometry"
Produkt anzeigen
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)
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)
Produkt anzeigen
The Semantics and Proof Theory of the Logic of Bunched Implications
The Semantics and Proof Theory of the Logic of Bunched Implications
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)
Produkt anzeigen
Menü