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

Comprar

Descrição do Produto


Loja do Time
Home Menu Busca
Topo