
An Introduction to Proof Theory: Normalization, Cut-elimination, and Consistency Proofs
An Introduction to Proof Theory: Normalization, Cut-elimination, and Consistency Proofs
www.amazon.co.jp/dp/019289594X/ref=asc_df_019289594X1641054600000/