Ordinal Analysis with an Introduction to Proof Theory Arai Toshiyasu
Introduction.- Calculi for classical logic.- Cut-elimination in depth.- Epsilon numbers.- Iterations.-
od 63 €
Specifikacia Ordinal Analysis with an Introduction to Proof Theory Arai Toshiyasu
Introduction.- Calculi for classical logic.- Cut-elimination in depth.- Epsilon numbers.- Iterations.-
An Introduction to Film Analysis
od 39 €
Introduction to Static Analysis
od 68 €
Introduction to Complex Analysis
od 51 €