给这本书正正身

敢问国内还有哪本书是通过semantic-syntax，model-theoretical的方式讲数理逻辑的。。
摆脱各位如果真想搞computer SCIENCE，就读它吧，其他那些根本不能称之为数学。。
读英文的更好，推荐这本http://www.amazon.com/Computer-Scientists-Modern-Birkh%C3%A4user-Classics/dp/0817647627/ref=sr_1_1?s=books&ie=UTF8&qid=1320777239&sr=1-1