剧情简介：What is a mathematical proof? How can proofs be justified? Are there limitations to provability? To what extent can machines carry out mathematical proofs? Only in this century has there been success in obtaining substantial and satisfactory answers. The present book contains a systematic discussion of these results. The investigations are centered around first-order logic. Our...(展开全部)
外文名：Mathematical Logic
作者：H.-D. Ebbinghaus
出版社：世界图书出版公司
ISBN：9787506292276
