Ordinal Analysis with an Introduction to Proof Theory Arai Toshiyasu
Ordinal Analysis with an Introduction to Proof Theory Arai Toshiyasu Introduction.- Calculi for classical logic.- Cut-elimination in depth.- Epsilon numbers.- Iterations.- Ordinal Analysis with an…
od 63 €
Specifikacia Ordinal Analysis with an Introduction to Proof Theory Arai Toshiyasu
Ordinal Analysis with an Introduction to Proof Theory Arai Toshiyasu
Introduction.- Calculi for classical logic.- Cut-elimination in depth.- Epsilon numbers.- Iterations.-
Ordinal Analysis with an Introduction to Proof Theory Arai Toshiyasu patrí medzi produkty, ktoré ponúkajú vyvážený pomer kvality a ceny. V hornej časti stránky nájdeš hlavný prehľad, nižšie podrobné vlastnosti a technické parametre.
An Introduction to Film Analysis
od 39 €
Introduction to Static Analysis
od 68 €