x dismiss this message
Did you know you can edit this page?
-
Sign Into Shelfari
-
Choose something to edit
-
Save your contributions
see page history
Description edit
This junior/senior level text is devoted to a study of first-order logic and its role in the foundations of mathematics: What is a proof? How can a proof be justified? To what extent can a proof be made a purely mechanical procedure? How much faith can we have in a proof that is so complex... read more
Ridiculously Simplified Synopsis edit
First Sentence edit
Towards the end of the nineteenth century mathematical logic evolved into a subject of its own.
Authors & Contributors edit
- Heinz-Dieter Ebbinghaus (Author)
Classification edit
- Library of Congress: Add the Library of Congress Classification.
- Dewey: 511.3
Subjects edit
Popular Tags
We’re hiding the errata, movie connections, books that influenced this book, books influenced by this book, books that cite this book and books cited by this book sections. If you would like to add content to them, you must first make them visible.
