finelybook
Logic for Computer Science: Foundations of Automatic Theorem Proving,Second Edition (Dover Books on Computer Science)
by: Jean H. Gallier
Paperback 页数: 544 pages
Publisher 出版社: Dover Publications Inc.; 2nd Revised edition edition (31 Oct. 2014)
Language: English
ISBN-10: 0486780821
ISBN-13: 9780486780825
Book Description
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: Foundations of Automatic Theorem Proving,2nd Edition
未经允许不得转载：finelybook » Logic for Computer Science: Foundations of Automatic Theorem Proving,2nd Edition
相关推荐
- Blockchain: The Comprehensive Guide to Blockchain Development, Ethereum, Solidity, and Smart Contracts
- Getting Started with JavaScript: A JavaScript Beginner's Guide to Building Dynamic Web and Mobile Apps with Hands-On Examples and 200+ Sample Projects
- Hacking and Security: The Comprehensive Guide to Penetration Testing and Cybersecurity
- Memristors: From Materials to Devices Memristor Models, Mechanisms, Fabrication Methods, and Applications
