We a good story
4.1 / 5 on Trustpilot
Quick delivery in the UK
Trusted Ecommerce Europe
Help
Login
  1. Home
  2. Books
  3. Business & Education
  4. Computing & IT
  5. Logic for Computer Science

Logic for Computer Science

- Foundations of Automatic Theorem Proving, Second Edition

By Jean Gallier

part of the Dover Books on Computer Science series

Logic for Computer Science by Jean Gallier Save 20% from RPP Save 20%
  • Language:
  • English
  • ISBN:
  • 9780486780825
  • Binding:
  • Paperback
  • Pages:
  • 544
  • Published:
  • June 25, 2015
  • Edition:
  • 2
  • Dimensions:
  • 158x237x35 mm.
  • Weight:
  • 758 g.
Delivery: 2-4 weeks
Expected delivery: December 19, 2024

About Jean Gallier

View all books by Jean Gallier

User ratings of Logic for Computer Science



Others also bought..
Find similar books
The book Logic for Computer Science can be found in the following categories:

Join thousands of book lovers

Sign up to our newsletter and receive discounts and inspiration for your next reading experience.