Logic for Computer Science - Info and Reading Options
By Jean H. Gallier
"Logic for Computer Science" was published by Dover Publications, Incorporated in 2015, it has 544 pages and the language of the book is English.
“Logic for Computer Science” Metadata:
- Title: Logic for Computer Science
- Author: Jean H. Gallier
- Language: English
- Number of Pages: 544
- Publisher: ➤ Dover Publications, Incorporated
- Publish Date: 2015
“Logic for Computer Science” Subjects and Themes:
- Subjects: ➤ Automatic theorem proving - Symbolic and mathematical Logic - Logic, symbolic and mathematical - MATHEMATICS / Logic
Edition Identifiers:
- The Open Library ID: OL28530661M - OL474729W
- Library of Congress Control Number (LCCN): 2014048078
- ISBN-13: 9780486780825
- All ISBNs: 9780486780825
AI-generated Review of “Logic for Computer Science”:
Read “Logic for Computer Science”:
Read “Logic for Computer Science” by choosing from the options below.
Search for “Logic for Computer Science” downloads:
Visit our Downloads Search page to see if downloads are available.
Find “Logic for Computer Science” in Libraries Near You:
Read or borrow “Logic for Computer Science” from your local library.
- The WorldCat Libraries Catalog: Find a copy of “Logic for Computer Science” at a library near you.
Buy “Logic for Computer Science” online:
Shop for “Logic for Computer Science” on popular online marketplaces.
- Ebay: New and used books.