Symbolic logic mechanical theorem proving Chin-Liang Chang and Richard Char-Tung Lee
Material type:
TextLanguage: English Series: A series of monographs and textbooks edited by Werner RheinboldtPublication details: Orlando : Academic Press , 1973Description: xiii, 308 pISBN: - 0121703509
- 21st ed. 511.3 CHA/S
| Item type | Current library | Call number | Status | Date due | Barcode | |
|---|---|---|---|---|---|---|
English Books
|
NFLIC-FRI Library | 511.3 CHA/S (Browse shelf(Opens below)) | Available | 24715 |
Browsing NFLIC-FRI Library shelves Close shelf browser (Hides shelf browser)
| No cover image available | No cover image available | No cover image available | No cover image available | No cover image available | ||||
| 510 WOR.2 The World of Mathematics | 510 WOR.3 The World of Mathematics | 511 JUN/G.4 Graphs, Networks and Algorithms; | 511.3 CHA/S Symbolic logic mechanical theorem proving | 511.3 LAW/C Conceptual mathematics : | 511.3 LAW/C:2 Conceptual mathematics : | 511.3 WAN/L Logic computers and sets |
Bibliography: p. 309-31 includes index.
There are no comments on this title.
Log in to your account to post a comment.
Implemented & Customized by:
BestBookBuddies
Powered by Koha