An Introduction to Proof Theory: Normalization, Cut Elimination, and Consistency Proofs
Compare webshops (1)
Shop
Price
Compare webshops (1)