A Proof Theory for General Unification (Progress in Computer Science and Applied Logic) (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) (Progress in Computer Science and Applied Logic, 11, Band 11)
Medimops DE
53.49 EUR
Preis aktualisiert am: 06-09-2026 23:29:05
Siehe Produktangebot
Gesponsert
A Proof Theory for General Unification
SpringerLink DE
59.00 EUR
Preis aktualisiert am: 07-09-2026 11:18:25
Siehe Produktangebot

Allgemein

Marke
W. Snyder
ISBN
W. Snyder 1461267587

Eigenschaften

Ähnliche Produkte

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
Well-Quasi Orders in Computation, Logic, Language and Reasoning
Well-Quasi Orders in Computation, Logic, Language and Reasoning
Produkt anzeigen
Truth Proof and Infinity
Truth Proof and Infinity
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
A First Course in Logic
A First Course in Logic
Produkt anzeigen
Menü