An edition of Logic for computer science (1985)

Logic for Computer Science

by

  • 0 Ratings
  • 0 Want to read
  • 0 Currently reading
  • 0 Have read
Logic for Computer Science
Jean H. Gallier
Not in Library

My Reading Lists:

Create a new list

Check-In

×Close
Add an optional check-in date. Check-in dates are used to track yearly reading goals.
Today
Notes
  • 0 Ratings
  • 0 Want to read
  • 0 Currently reading
  • 0 Have read
Notes

Check nearby libraries

Buy this book

Last edited by MARC Bot
November 13, 2020 | History
Edit
An edition of Logic for computer science (1985)

Logic for Computer Science

by

  • 0 Ratings
  • 0 Want to read
  • 0 Currently reading
  • 0 Have read

This edition doesn't have a description yet. Can you add one?

Publish Date
Publisher
Dover Publications, Incorporated
Language
English
Pages
544

Check nearby libraries

Buy this book

Previews available in: English

Subjects
Automatic theorem proving, Symbolic and mathematical Logic, Logic, symbolic and mathematical, MATHEMATICS / Logic

Showing 6 featured editions. View all 6 editions?

Edition Availability
Cover of: Logic for Computer Science
Logic for Computer Science
2015, Dover Publications, Incorporated
in English
  • Not in Library
Libraries near you: WorldCat
Cover of: Logic for Computer Science
Logic for Computer Science: Foundations of Automatic Theorem Proving, Second Edition
2015, Dover Publications, Incorporated
in English
Libraries near you: WorldCat
Cover of: Logic for computer science
Logic for computer science: foundations of automatic theorem proving
1987, Wiley
in English
Libraries near you: WorldCat
Cover of: Logic for computer science
Logic for computer science: foundations of automatic theorem proving
1986, Harper & Row
in English
Libraries near you: WorldCat
Cover of: Logic for computer science
Logic for computer science: foundations of automatic theorem proving
1986, Harper & Row, Longman Higher Education
in English
Libraries near you: WorldCat
Cover of: Logic for Computer Science
Logic for Computer Science: Foundations of Automatic Theorem-Proving
1985, Wiley & Sons, Incorporated, John
in English
Libraries near you: WorldCat

Add another edition?

Book Details

Classifications

Library of Congress
QA76.9.A96, QA76.9.A96 G35 2015

ID Numbers

Open Library
OL28530661M
ISBN 13
9780486780825
LCCN
2014048078

Community Reviews (0)

Feedback?
No community reviews have been submitted for this work.

Lists

This work does not appear on any lists.

History

Download catalog record: RDF / JSON / OPDS | Wikipedia citation
November 13, 2020 Edited by MARC Bot import existing book
August 3, 2020 Created by ImportBot Imported from Better World Books record.