关注微信公众号查券更方便
【4周达】Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies [9783540111702]