An Introduction to Proof Theory: Normalization, Cut-Elimination, and Consistency Proofs


Descrição do Produto


Loja do Suplemento
Home Menu
Topo