敢问国内还有哪本书是通过semantic-syntax，model-theoretical的方式讲数理逻辑的。。摆脱各位如果真想搞computer SCIENCE，就读它吧，其他那些根本不能称之为数学。。读英文的更好，推荐这本http://www.amazon.com/Computer-Scient...
