Mathematical logic for computer science
Material type: TextLanguage: English Publication details: Springer (India) Private Limited, New Delhi 2005 Edition: Second editionDescription: xiv, 304pISBN: 8181283449Subject(s): Logic, Symbolic and mathematicalDDC classification: 005.131 BEN(MAT)Item type | Current library | Call number | Materials specified | Copy number | Status | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|---|---|
Books | Central Library | 005.131 BEN(MAT) (Browse shelf(Opens below)) | 1 | Available | 5305 |
Total holds: 0
Browsing Central Library shelves Close shelf browser (Hides shelf browser)
No cover image available | ||||||||
005.13 WAT(PRO) Programming language design concepts | 005.131 AND(AUT) Automata theory with modern applications | 005.131 BEN(MAT) Mathematical logic for computer science | 005.131 BEN(MAT) Mathematical logic for computer science | 005.131 EIJ(COM) Computational Semantics with Functional Programming | 005.131 GHO(INT) Introduction to theory of automata, formal languages, and computation | 005.131 GOD(INT) Introducing the theory of computation |
808/08-09/28-11-08
There are no comments on this title.