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