Logic for Computer Science : Foundations of Automatic Theorem Proving, Second Edition

Logic for Computer Science : Foundations of Automatic Theorem Proving, Second Edition

Logic for Computer Science : Foundations of Automatic Theorem Proving, Second Edition

Barcode: 09780486805085
Brand: Dover Publications
There are no offers for this product at this time.

More From Dover Publications

The Professor's House
The Professor's House
from £4.00
Pragmatism
Pragmatism
from £4.00
Favorite Father Brown Stories
Favorite Father Brown Stories
from £3.20
Camera Work
Camera Work
from £19.15
Suspiria de Profundis
Suspiria de Profundis
from £3.20
The Philosophy of Epictetus
The Philosophy of Epictetus
from £2.40
The Story of Hercules
The Story of Hercules
from £2.00
Topological Transformation Groups
Topological Transformation Groups
from £22.03
Swing Low, Swing Death
Swing Low, Swing Death
from £12.43
3 by Shakespeare
3 by Shakespeare
from £4.00
Hamlet Thrift Study Edition
Hamlet Thrift Study Edition
from £4.76
The Oresteia Trilogy
The Oresteia Trilogy
from £2.80
A Confession
A Confession
from £3.96
The Rule of St. Benedict
The Rule of St. Benedict
from £3.96
Fundamental Principles of the Metaphysics of Morals
Fundamental Principles of the Metaphysics of Morals
from £3.96
Book of African-American Quotations
Book of African-American Quotations
from £3.60
The Monk
The Monk
from £4.00
Great English Essays : From Bacon to Chesterton
Great English Essays : From Bacon to Chesterton
from £3.60
The Subjection of Women
The Subjection of Women
from £2.80
Native American Myths
Native American Myths
from £2.80

Price History

Excluding delivery costs, shows the lowest price over time.

Other Products You Might Like

Symbolic Logic and Mechanical Theorem Proving
Symbolic Logic and Mechanical Theorem Proving
from £41.79
First-Order Logic and Automated Theorem Proving
First-Order Logic and Automated Theorem Proving
from £61.20
First-Order Logic and Automated Theorem Proving
First-Order Logic and Automated Theorem Proving
from £63.33
Mathematical Logic For Computer Science (2nd Edition)
Mathematical Logic For Computer Science (2nd Edition)
from £22.40
Foundations of Logic and Mathematics : Applications to Computer Science and Cryptography
Foundations of Logic and Mathematics : Applications to Computer Science and Cryptography
from £38.24
Philosophy of Logic : Second Edition
Philosophy of Logic : Second Edition
from £26.40
Foundations of Computer Science
Foundations of Computer Science
from £40.79
Foundations of Computer Science
Foundations of Computer Science
from £40.79
Foundations of Computer Science
Foundations of Computer Science
from £37.68
Foundations of Computer Science
Foundations of Computer Science
from £50.99
Higher Order Logic Theorem Proving and its Applications : Proceedings of the IFIP TC10/WG10.2 International Workshop on Higher Order Logic Theorem Proving and its Applications - HOL '92 Leuven, Belgiu
Higher Order Logic Theorem Proving and its Applications : Proceedings of the IFIP TC10/WG10.2 International Workshop on Higher Order Logic Theorem Proving and its Applications - HOL '92 Leuven, Belgiu
from £114.00
Mathematical Logic : Foundations for Information Science
Mathematical Logic : Foundations for Information Science
from £38.24
Mathematical Logic : Foundations for Information Science
Mathematical Logic : Foundations for Information Science
from £45.89
Encyclopedia of Computer Science and Technology, Second Edition (Set)
Encyclopedia of Computer Science and Technology, Second Edition (Set)
from £1,755.00
Encyclopedia of Computer Science and Technology, Second Edition (Set)
Encyclopedia of Computer Science and Technology, Second Edition (Set)
from £1,755.00
AQA GCSE Computer Science, Second Edition
AQA GCSE Computer Science, Second Edition
from £15.99
OCR GCSE Computer Science, Second Edition
OCR GCSE Computer Science, Second Edition
from £15.99
AQA GCSE Computer Science, Second Edition
AQA GCSE Computer Science, Second Edition
from £27.00
OCR GCSE Computer Science, Second Edition
OCR GCSE Computer Science, Second Edition
from £27.00
Logic, Mathematics, and Computer Science : Modern Foundations with Practical Applications
Logic, Mathematics, and Computer Science : Modern Foundations with Practical Applications
from £33.99