An Introduction to Proof Theory: Normalization, Cut-Elimination, and
136,00 €
And the normalization theorems (for both NJ and NK), the sequent calculus, including cut-elimination and mid-sequent theorems, and various applications of these results. The second half examines ordinal proof.
Jetzt bei Ebay:
