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
48.98 EUR
Preis aktualisiert am: 12-06-2026 07:36:05
Siehe Produktangebot
Gesponsert
A Proof Theory for General Unification
SpringerLink DE
53.49 EUR
Preis aktualisiert am: 11-06-2026 23:08:03
Siehe Produktangebot

Allgemein

Marke
BIRKHÄUSER

Eigenschaften

Ähnliche Produkte

Truth Proof and Infinity
Truth Proof and Infinity
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
Elementary Theory of Metric Spaces: A Course In Constructing Mathematical Proofs (Universitext)
Elementary Theory of Metric Spaces: A Course In Constructing Mathematical Proofs (Universitext)
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
Produkt anzeigen
Protein synthesis in mitochondria a proof of symbiotic nature theory
Protein synthesis in mitochondria a proof of symbiotic nature theory
Produkt anzeigen
An Introduction to Proof Theory: Normalization, Cut-Elimination, and Consistency Proofs
An Introduction to Proof Theory: Normalization, Cut-Elimination, and Consistency Proofs
Produkt anzeigen
Menü