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