Proof Theory and Intuitionistic Systems (Lecture Notes in Mathematics, 212, Band 212)

Proof Theory and
Wo zu kaufen (3) Eigenschaften
Gesponsert
Proof Theory and Intuitionistic Systems (Lecture Notes in Mathematics, 212, Band 212)
Medimops DE
42.75 EUR
Preis aktualisiert am: 10-11-2026 04:12:45
Siehe Produktangebot
Gesponsert
Proof Theory and Intuitionistic Systems
Hugendubel
42.99 EUR
Preis aktualisiert am: 10-11-2026 17:20:50
Siehe Produktangebot
Gesponsert
Proof Theory and Intuitionistic Systems
SpringerLink DE
57.61 EUR
Preis aktualisiert am: 09-11-2026 12:01:23
Siehe Produktangebot

Allgemein

Marke
Springer Berlin Heidelberg
ISBN
Springer Berlin Heidelberg 354005541X
MPN
Springer Berlin Heidelberg 7118302

Eigenschaften

Ähnliche Produkte

ISILC
ISILC - Proof Theory Symposion: Dedicated to Kurt Schütte on the Occasion of His 65th Birthday. Proceedings of the International Summer Institute and ... (Lecture Notes in Mathematics, 500, Band 500)
Aus37.40 EUR 3
Produkt anzeigen
Proceedings of the Logic Colloquium. Held in Aachen, July 18-23, 1983: Part 2: Computation and Proof Theory (Lecture Notes in Mathematics, 1104, Band 1104)
Proceedings of the Logic Colloquium. Held in Aachen, July 18-23, 1983: Part 2: Computation and Proof Theory (Lecture Notes in Mathematics, 1104, Band 1104)
Aus45.98 EUR 3
Produkt anzeigen
Computational Logic and Proof Theory: 5th Kurt G??del Colloquium, KGC'97, Vienna, Austria, August 25-29, 1997, Proceedings: 5th Kurt Gödel Colloquium, ... Notes in Computer Science, 1289, Band 1289)
Computational Logic and Proof Theory: 5th Kurt G??del Colloquium, KGC'97, Vienna, Austria, August 25-29, 1997, Proceedings: 5th Kurt Gödel Colloquium, ... Notes in Computer Science, 1289, Band 1289)
Aus53.49 EUR 3
Produkt anzeigen
Advances in Proof Theory (Progress in Computer Science and Applied Logic, Band 28)
Advances in Proof Theory (Progress in Computer Science and Applied Logic, Band 28)
Aus106.99 EUR 4
Produkt anzeigen
Well-Quasi Orders in Computation, Logic, Language and Reasoning
Well-Quasi Orders in Computation, Logic, Language and Reasoning
Aus169.74 EUR 4
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ü