This advanced text for undergraduate and graduate students introduces mathematical logic with an emphasis on proof theory and procedures for algorithmic construction of formal proofs. The self-contained treatment is also useful for computer scientists and mathematically inclined readers interested in the formalization of proofs and foundations of automatic theorem proving. 2003 edition.
| ISBN: | 9780486780825 |
| Publication date: | 26th June 2015 |
| Author: | Jean H Gallier |
| Publisher: | Dover Publications an imprint of Dover Publications Inc. |
| Format: | Paperback |
| Pagination: | 544 pages |
| Series: | Dover Books on Computer Science |
| Genres: |
Mathematical logic |
This advanced text for undergraduate and graduate students introduces mathematical logic with an emphasis on proof theory and procedures for algorithmic construction of formal proofs. The self-contained treatment is also useful for computer scientists and mathematically inclined readers interested in the formalization of proofs and foundations of automatic theorem proving. 2003 edition.
Logic for Computer Science features in the following genres: Mathematical logic
Logic for Computer Science is available in Paperback, Ebook
Logic for Computer Science was written by Jean H Gallier and published by Dover Publications an imprint of Dover Publications Inc.
Logic for Computer Science has 544 pages
Yes it is part of Dover Books on Computer Science series