Proof Theory and Automated Deduction (Applied Logic Series, 6, Band 6) | DealShopping Deutschland
  1. Home
  2. Medien
  3. Bücher
  4. Proof Theory and Automated Deduction (Applied Logic Series, 6, Band 6)
  • #
  • #

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

53.49 EUR 48.98 EUR 8% Off

Teilen:
Gesponsert

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

Medimops DE
48.98 EUR
18-05-2026 20:56:52
Gesponsert

Proof Theory and Automated Deduction

preigu.de
50.25 EUR
19-05-2026 03:24:44
Gesponsert

Proof Theory and Automated Deduction

SpringerLink DE
53.49 EUR
18-05-2026 20:58:07

Ähnliche Produkte

Proof Theory and Algebra in Logic (Short Textbooks in Logic)

Proof Theory and Algebra in Logic (Short Textbooks in Logic)

39.55 EUR
An Introduction to Mathematical Logic and Type Theory

An Introduction to Mathematical Logic and Type Theory

96.26 EUR
Mathematical Problems and Proofs: Combinatorics, Number Theory, And Geometry

Mathematical Problems and Proofs: "Combinatorics, Number Theory, And Geometry"

102.04 EUR
The Semantics And Proof Theory Of The Logic Of Bunched Implications

The Semantics And Proof Theory Of The Logic Of Bunched Implications

160.49 EUR
Well-Quasi Orders in Computation Logic Language and Reasoning

Well-Quasi Orders in Computation Logic Language and Reasoning

192.59 EUR
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

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

53.49 EUR