Logic and Structure |
|
Author:
| Dalen, Dirk van |
ISBN: | 978-3-540-20879-2 |
Publication Date: | Jan 2004 |
Publisher: | Springer
|
Book Format: | Paperback |
List Price: | AUD $90.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.