Cargando…
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...
| Clasificación: | Libro Electrónico |
|---|---|
| Autor principal: | |
| Otros Autores: | , |
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
New York, NY :
Springer New York,
1994.
|
| Edición: | Second edition. |
| Colección: | Undergraduate texts in mathematics.
|
| Temas: | |
| Acceso en línea: | Texto completo |