Logic for Computer Science: Foundations of Automatic Theorem Proving,Second Edition (Dover Books on Computer Science)
by: Jean H. Gallier
Print Length 页数: 544 pages
Publisher finelybook 出版社: Dover Publications Inc.; 2nd Revised edition edition (31 Oct. 2014)
Language 语言: English
ISBN-10: 0486780821
ISBN-13: 9780486780825
Book Description
By finelybook
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.
