Zixiu Su’s Reviews > An Introduction to Proof Theory: Normalization, Cut-Elimination, and Consistency Proofs > Status Update

Zixiu Su
Zixiu Su is on page 154 of 432
— Sep 18, 2021 02:58PM
An Introduction to Proof Theory: Normalization, Cut-Elimination, and Consistency Proofs

flag

Post a comment »
Comments

No comments have been added yet.


All of Zixiu’s status updates
Everyone’s updates from this book