Chargement en cours…
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...
| Cote: | Libro Electrónico |
|---|---|
| Auteur principal: | |
| Autres auteurs: | , |
| Format: | Électronique eBook |
| Langue: | Inglés |
| Publié: |
New York, NY :
Springer New York,
1994.
|
| Édition: | Second edition. |
| Collection: | Undergraduate texts in mathematics.
|
| Sujets: | |
| Accès en ligne: | Texto completo |