Mathematical Logic /
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 that no o...
Saved in:
| Online Access: |
Full text (MCPHS users only) |
|---|---|
| Main Author: | |
| Other Authors: | , |
| Format: | Electronic eBook |
| Language: | English |
| Published: |
New York, NY :
Springer New York,
1994
|
| Edition: | Second edition. |
| Series: | Undergraduate texts in mathematics.
|
| Subjects: | |
| Local Note: | ProQuest Ebook Central |
