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

Proof Theory and
Wo zu kaufen (4) Eigenschaften
Gesponsert
Proof Theory and Algebra in Logic (Short Textbooks in Logic)
Medimops DE
36.98 EUR
Preis aktualisiert am: 19-06-2026 19:54:03
Siehe Produktangebot
Gesponsert
Proof Theory and Algebra in Logic
preigu.de
39.55 EUR
Preis aktualisiert am: 20-06-2026 03:13:56
Siehe Produktangebot
Gesponsert
Proof Theory and Algebra in Logic
SpringerLink DE
40.65 EUR
Preis aktualisiert am: 19-06-2026 19:32:44
Siehe Produktangebot
Gesponsert
Proof Theory and Algebra in Logic, Fachbücher von Hiroakira Ono
Galaxus.de
40.65 EUR
Preis aktualisiert am: 23-06-2026 21:59:15
Siehe Produktangebot

Allgemein

Marke
Springer
ISBN
Springer 9811379963

Eigenschaften

Ähnliche Produkte

Principles of Intuitionism: Lectures presented at the Summer Conference on Intuitionism and Proof Theory (1968) at SUNY at Buffalo, NY (Lecture Notes in Mathematics, 95, Band 95)
Principles of Intuitionism: Lectures presented at the Summer Conference on Intuitionism and Proof Theory (1968) at SUNY at Buffalo, NY (Lecture Notes in Mathematics, 95, Band 95)
Produkt anzeigen
The Semantics and Proof Theory of the Logic of Bunched Implications
The Semantics and Proof Theory of the Logic of Bunched Implications
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
Proof Theory and Automated Deduction (Applied Logic Series, 6, Band 6)
Proof Theory and Automated Deduction (Applied Logic Series, 6, Band 6)
Produkt anzeigen
Hybrid Logic and Its Proof-Theory
Hybrid Logic and Its Proof-Theory
Produkt anzeigen
Laser Induced Thermal Diffusion Shock Waves
Laser Induced Thermal Diffusion Shock Waves
Produkt anzeigen
Menü