Proof Theory and Automated Deduction Contributor(s): Goubault-Larrecq, Jean (Author), Goubault-Larrecq, J. (Author), MacKie, I. (Author) |
|
![]() |
ISBN: 0792345932 ISBN-13: 9780792345930 Publisher: Kluwer Academic Publishers OUR PRICE: $94.05 Product Type: Hardcover Published: May 1997 |
Additional Information |
BISAC Categories: - Mathematics | Logic - Philosophy | Logic - Computers | Computer Science |
Dewey: 511.3 |
LCCN: 97018876 |
Series: Economy & Environment |
Physical Information: 440 pages |
Descriptions, Reviews, Etc. |
Publisher Description: This text covers basic notions in logic, with a particular stress on proof theory, as opposed to, for example, model theory or set theory. It shows how they are applied in computer science, and especially the particular field of automated deduction. That is to say, the automated search for proofs of mathematical propositions. |