1. Home
  2. Medien
  3. Bücher
  4. A Proof Theory for General Unification (Progress in Computer Science and Applied Logic (11), Band 11)
  • #
  • #

A Proof Theory for General Unification (Progress in Computer Science and Applied Logic (11), Band 11)

53.49 EUR 48.98 EUR 8% Off

Teilen:
Gesponsert

A Proof Theory for General Unification (Progress in Computer Science and Applied Logic, 11, Band 11)

Medimops DE
48.98 EUR
21-04-2026 17:59:14
Gesponsert

A Proof Theory for General Unification

SpringerLink DE
53.49 EUR
21-04-2026 06:05:14

Ähnliche Produkte

Snyder, W.: A Proof Theory for General Unification

Snyder, W.: A Proof Theory for General Unification

53.49 EUR
A Proof Theory for Description Logics

A Proof Theory for Description Logics

53.49 EUR
Elementary Theory of Metric Spaces: A Course In Constructing Mathematical Proofs

Elementary Theory of Metric Spaces: A Course In Constructing Mathematical Proofs

80.24 EUR
Fine, Benjamin: The Elementary Theory of Groups

Fine, Benjamin: The Elementary Theory of Groups

177.34 EUR
An Introduction to Proof Theory: Normalization, Cut-Elimination, and Consistency Proofs

An Introduction to Proof Theory: Normalization, Cut-Elimination, and Consistency Proofs

31.47 EUR
Basic Proof Theory 2ed

Basic Proof Theory 2ed

68.50 EUR
Proof Theory: A selection of papers from the Leeds Proof Theory Programme 1990

Proof Theory: A selection of papers from the Leeds Proof Theory Programme 1990

143.00 EUR
Truth, Proof and Infinity: A Theory of Constructive Reasoning

Truth, Proof and Infinity: A Theory of Constructive Reasoning

192.59 EUR