关注微信公众号查券更方便
【4周达】Incompleteness for Higher-Order Arithmetic : An Example Based on Harrington's Principle [9789811399480]