Mathematical logic for computer science / Mordechai Ben- Ari
Material type:
TextLanguage: eng Publication details: Verlag : Springer, 2003Edition: 2nd EdDescription: 304 p. ; 24 cmISBN: 9788181283443Subject(s): The Origins of Mathematical Logic | Logic, Symbolic and mathematical | Computer science -- MathematicsDDC classification: 511.3 BEN
| Item type | Current library | Call number | Status | Date due | Barcode |
|---|---|---|---|---|---|
Books
|
Mysore University Main Library | 511.3 BEN (Browse shelf (Opens below)) | Available | 473511 | |
|
Books
|
Mysore University Main Library | 511.3 ARI (Browse shelf (Opens below)) | Available | 473510 | |
|
Books
|
Mysore University Main Library | 511.3 ARI (Browse shelf (Opens below)) | Available | 473512 |
Browsing Mysore University Main Library shelves, Shelving location: Mathematics Close shelf browser (Hides shelf browser)
| 511.3 AMB.H Complexity theory : | 511.3 ANA K Formal languages and automata theory | 511.3 ARI Mathematical logic for computer science / | 511.3 ARI Mathematical logic for computer science / | 511.3 BEN Mathematical logic for computer science / | 511.3 CAI M Models, algebras, and proofs : | 511.3 DOL Discrete mathematics 1 |
Includes index.
There are no comments on this title.