Image from Amazon.com
Logic for computer science : foundations of automatic theorem proving / Jean H. Gallier.
Material type:
TextPublication details: New York, NY : Harper & Row, c1986.Description: xv, 511 pISBN: - 0060422254
| Item type | Current library | Call number | Copy number | Status | Date due | Barcode |
|---|---|---|---|---|---|---|
Books
|
Department of Mathematics | 681.325.6 GAL (Browse shelf(Opens below)) | 1 | Available | MAT03953 |
Browsing Department of Mathematics shelves Close shelf browser (Hides shelf browser)
| No cover image available | No cover image available | No cover image available |
|
|
|
No cover image available | ||
| 681.324(03) TUL Microsoft encyclopedia of networking. | 681.324EC SHU E-business with Net.Commerce / | 681.325.6 DEV Logic programming : | 681.325.6 GAL Logic for computer science : | 681.325.6 GRA Logic, algebra, and databases / | 681.325.6 HEH Logic of programming / | 681.325.6 KAU Logic and prolog programming / |
There are no comments on this title.