Basic Proof Theory

0粉丝
Thisintroductiontothebasicideasofstructuralprooftheorycontainsathoroughdisc