Logic for Computer Science: Foundations of Automatic Theorem Proving Jean H Gallier
Material type:
TextLanguage: ENG Publication details: New York John Wiley & Sons, Inc 1987Edition: Description: xv,511pSubject(s): Automatic theorem Proving | Logic, Symbolic and MathematicalDDC classification: 511.3
| Item type | Current library | Call number | Status | Date due | Barcode |
|---|---|---|---|---|---|
Books
|
Bangalore University Library DL | 511.3 GAL (Browse shelf (Opens below)) | Available | 264178 |
Browsing Bangalore University Library shelves, Shelving location: DL Close shelf browser (Hides shelf browser)
| No cover image available | ||||||||
| 511.3 DRA R Logic Colloquium 86 | 511.3 DUN E Modern Uses of Multiple-Valued Logic | 511.3 FRE S Categories, Allegories | 511.3 GAL Logic for Computer Science: Foundations of Automatic Theorem Proving | 511.3 GOL Topoi: the Categorial Analysis of Logic | 511.3 HIN Principles of Mathematics Revisited | 511.3 JOH Elements of Logic Via Numbers and Sets |
There are no comments on this title.