Logic for Computer Science: Foundations of Automatic Theorem Proving
Overview & Synopsis
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 basics of automatic theorem proving.
Indexed from repository: FreeComputerBooks.com
(
freecomputerbooks.com)
Keyboard Shortcuts:
← / → for pages • + / - for zoom • 0 to fit width
Powered by Mozilla PDF.js v3.11
Document Information
| Document Title | Logic for Computer Science: Foundations of Automatic Theorem Proving |
|---|---|
| Author / Organization | Jean H. Gallier |
| Subject & Discipline | Mathematical Logic - Set Theory, Model Theory, Computability, etc, Artificial Intelligence, Machine Learning, and Logic Programming, Prolog Programming, Discrete and Finite Mathematics, Introduction to Computer Science |
| Categories | Mathematical Logic - Set Theory, Model Theory, Computability, etc |
| Publication Year | 2015 |
| ISBN | 0486780821 |
| Resource Verification | ✓ Verified Direct PDF Available |
| Alternative Mirrors & Links | |
| Original Host Website |
FreeComputerBooks.com
(freecomputerbooks.com)
|
| File Format | application/pdf (Portable Document Format) |
| Reported File Size | 3858.6 KB (3,951,209 bytes) |
| Language | ENGLISH |
| Catalog ID | DOC-259022 |
| Original Source Link | Visit Source Page on freecomputerbooks.com » |
Commercial / Print Edition
Prefer a Physical Book or Kindle Edition?
Logic for Computer Science: Foundations of Automatic Theorem Proving • Print Edition
As an Amazon Associate, MainReads earns from qualifying purchases.