Mathematical logic for computer science
Material type:
TextPublisher: LONDON SPRINGER 2001Edition: 2NDDescription: XIII,303PISBN: 1-85233-319-7Subject(s): LOGIC FOR MATHEMATICALDDC classification: 511.3 BEN
| Item type | Current location | Home library | Shelving location | Call number | Status | Date due | Barcode | Item holds |
|---|---|---|---|---|---|---|---|---|
Book
|
College of Electrical & Mechanical Engineering (CEME) | College of Electrical & Mechanical Engineering (CEME) | General Stacks | 511.3 BEN (Browse shelf) | Available | CEME-35550 |
Total holds: 0
Browsing College of Electrical & Mechanical Engineering (CEME) shelves, Shelving location: General Stacks Close shelf browser
| No cover image available | ||||||||
| 511.2 GIL Guide to mathematical methods | 511.2 JEF Hand book of mathematical formulas and intergrals | 511.2 OHU'M MODERN OPERATIONAL MATHEMATICS IN ENGINEERING | 511.3 BEN Mathematical logic for computer science | 511.3 CHA Chaitin, Gregory J. | 511.3 COP Symbolic logic | 511.3 END A mathematical introduction to logic |
There are no comments on this title.