Logic and Structure |
|
| Author:
| Dalen, Dirk van |
| Series title: | Universitext Ser. |
| ISBN: | 978-3-540-20879-2 |
| Publication Date: | Mar 2004 |
| Publisher: | Springer
|
| Book Format: | Paperback |
| List Price: | USD $54.95 |
Book Description:
|
This revised printing of Van Dalen's popular text improves an already acclaimed treatment of elementary classical logic. Suggestions and comments from readers have been adopted, a number of errors have been corrected, and some definitions have been streamlined. The 4th edition adds a chapter on the incompleteness of arithmetic, and useful information on basic recursion theory and arithmetic. In sum, it teaches logic to mathematicians in a clear, relaxed style.
This revised printing of Van Dalen's popular text improves an already acclaimed treatment of elementary classical logic. Suggestions and comments from readers have been adopted, a number of errors have been corrected, and some definitions have been streamlined. The 4th edition adds a chapter on the incompleteness of arithmetic, and useful information on basic recursion theory and arithmetic. In sum, it teaches logic to mathematicians in a clear, relaxed style.