Proof Theory: A selection of papers from the Leeds Proof Theory Programme 1990

Wo zu kaufen (1) Eigenschaften
Gesponsert
Proof Theory: A selection of papers from the Leeds Proof Theory Programme 1990
Medimops DE
149.00 EUR
Preis aktualisiert am: 03-09-2026 02:53:43
Siehe Produktangebot

Allgemein

Marke
Peter Aczel
ISBN
Peter Aczel 052141413X

Eigenschaften

Ähnliche Produkte

A General Theory of Evidence and Proof
A General Theory of Evidence and Proof
Produkt anzeigen
A Model-Theoretic Approach to Proof Theory
A Model-Theoretic Approach to Proof Theory
Produkt anzeigen
Well-Quasi Orders in Computation, Logic, Language and Reasoning
Well-Quasi Orders in Computation, Logic, Language and Reasoning
Produkt anzeigen
A Model–Theoretic Approach to Proof Theory
A Model–Theoretic Approach to Proof Theory
Produkt anzeigen
Proof Theory: A selection of papers from the Leeds Proof Theory Programme 1990
Proof Theory: A selection of papers from the Leeds Proof Theory Programme 1990
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ü