To view prices and purchase online, please login, or register for an account.
Logic for Computer Science: Foundations of Automatic Theorem Proving, Second Edition
(Paperback, 2nd Revised edition)
Publishing Details
Full Title:
Logic for Computer Science: Foundations of Automatic Theorem Proving, Second Edition
Contributors:
By (Author) Jean Gallier
Publisher:
Dover Publications Inc.
Imprint:
Dover Publications Inc.
Publication Date:
26th June 2015
Edition:
2nd Revised edition
Country:
United States
Classifications
Readership:
Tertiary Education
Genre:
Fiction/Non-fiction:
Non Fiction
Main Subject:
Other Subjects:
Maths for computer scientists
Dewey:
511.3
Physical Properties
Physical Format:
Paperback
Number of Pages:
544
Dimensions:
Width 21mm, Height 235mm, Spine 158mm
Weight:
748g
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.
