关注微信公众号查券更方便
【4周达】Normalization, Cut-Elimination, and the Theory of Proofs, Volume 28 [9780937073834]