Mathematical Logic
by Flum, Jörg, Ebbinghaus, Heinz-Dieter, Thomas, Wolfgang
fromUndergraduate texts in mathematics
0
Type: Book
"What is a mathematical proof? How can proofs be justified? Are there limitations to provability? To what extent can machines carry out mathe matical proofs? Only in this century has there been success in obtaining substantial and satisfactory answers. The present book contains…
