想读https://neodb.social/~neodb~/book/7EWkjkOlZUg21ZL8ESiaxp
Book 数理逻辑 Douban A Mathematical Introduction to Logic author: [美]Herbert B.Enderton translator: 沈复兴 / 陈磊 … publishing house: 人民邮电出版社 2007 - 3 《数理逻辑(第2版)》适合作为数学、哲学、计算机科学以及其他学科需要学习数理逻辑课程的本科生和研究生的教材。
