Stefan Bilaniuk - A Problem Course in Mathematical Logic

不多说，圣经级别的书籍。差积分，不得不贱卖。 This book would not have been possible without the contributions of many people. We would like to thank those who commented on our proposal for the book and helped plan its contents and organization: Guillaume Alain, Kyunghyun