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
150.20 EUR
Preis aktualisiert am: 16-07-2026 03:05:09
Siehe Produktangebot

Allgemein

Marke
Peter Aczel
ISBN
Peter Aczel 052141413X

Eigenschaften

Ähnliche Produkte

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
Well-Quasi Orders in Computation, Logic, Language and Reasoning
Well-Quasi Orders in Computation, Logic, Language and Reasoning
Produkt anzeigen
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
A Model-Theoretic Approach to Proof Theory
A Model-Theoretic Approach to Proof Theory
Produkt anzeigen
Menü