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.-