Book
Logic for computer scienceJean H. Gallier

Logic for computer science

Jean H. Gallier
1985511 pages
Be the first to rate
5 editions

Track this book

You choose which shelves are public. Progress and read dates stay yours.
Sign up to track
Add to list

About

No description yet.

More by Jean H. Gallier

All books

More like this

Reviews

Rating integrity

Healthy
Counted ratings come from accounts older than 7 days and were made on or after publication. Finished readers weigh ×1.0. Readers who have not finished yet weigh ×0.5. Did-not-finish ratings are shown but not counted.

Editions

5 editions
  • Other · English · 2015
    Dover Publications, Incorporated · 9780486805085
  • Other · English · 2015
    Dover Publications, Incorporated · 544 pages · 9780486780825
  • Other · English · 1987
    Wiley · 511 pages · 9780471615460
  • Other · English · 1986
    Harper & Row · 51 pages · 9780060422257
  • Other · English · 1985
    Wiley & Sons, Incorporated, John · 9780471603283
Automatic theorem provingSymbolic and mathematical LogicLogic, symbolic and mathematicalMATHEMATICS / Logic