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

Wo zu kaufen (2) Eigenschaften
Gesponsert
A Proof Theory for General Unification (Progress in Computer Science and Applied Logic, 11, Band 11)
Medimops DE
53.49 EUR
Preis aktualisiert am: 24-09-2026 14:33:52
Siehe Produktangebot
Gesponsert
A Proof Theory for General Unification
SpringerLink DE
54.99 EUR
Preis aktualisiert am: 24-09-2026 22:30:31
Siehe Produktangebot

Allgemein

Marke
BIRKHÄUSER

Eigenschaften

Ähnliche Produkte

Truth Proof and Infinity
Truth Proof and Infinity
Aus192.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
Elementary Theory of Metric Spaces: A Course In Constructing Mathematical Proofs (Universitext)
Elementary Theory of Metric Spaces: A Course In Constructing Mathematical Proofs (Universitext)
Aus79.99 EUR 3
Produkt anzeigen
Gandhi's Contributions to Theory of Numbers Vol-2: A Lively Introduction with Proofs, Applications, and Stories
Gandhi's Contributions to Theory of Numbers Vol-2: A Lively Introduction with Proofs, Applications, and Stories
Aus49.34 EUR 3
Produkt anzeigen
Protein synthesis in mitochondria a proof of symbiotic nature theory
Protein synthesis in mitochondria a proof of symbiotic nature theory
Aus35.90 EUR 3
Produkt anzeigen
An Introduction to Proof Theory: Normalization, Cut-Elimination, and Consistency Proofs
An Introduction to Proof Theory: Normalization, Cut-Elimination, and Consistency Proofs
Aus28.49 EUR 1
Produkt anzeigen
Menü