敢问国内还有哪本书是通过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