关注微信公众号查券更方便
【4周达】Logical Frameworks for Truth and Abstraction, Volume 135: An Axiomatic Study [9780444823069]