Mathematical logic for computer science / Mordechai Ben-Ari.
Material type: TextPublication details: London : Springer. c2012.Edition: Third editionDescription: xv, 346 pages : illustrations ; 24 cmISBN:- 9781447141280 (pbk.)
- 978447141297
- 1447141288 (pbk.)
- 511.3 22 BEM
Item type | Current library | Call number | Copy number | Status | Date due | Barcode |
---|---|---|---|---|---|---|
Books | Library, Institute of Information and Communication Technology General Stacks | 511.3 BEM (Browse shelf(Opens below)) | 1 | Available | I000726 | |
Books | Library, Institute of Information and Communication Technology General Stacks | 511.3 BEM (Browse shelf(Opens below)) | 2 | Available | I000725 | |
Books | Library, Institute of Information and Communication Technology General Stacks | 511.3 BEM (Browse shelf(Opens below)) | 3 | Available | I000724 |
Browsing Central Library, SUST shelves, Shelving location: General Stacks Close shelf browser (Hides shelf browser)
511.3 BEI Instruction sequences for computer science / | 511.3 BEI Instruction sequences for computer science / | 511.3 BEM Mathematical logic for computer science / | 511.3 BEM Mathematical logic for computer science / | 511.3 BEM Mathematical logic for computer science / | 511.3 BLP Proofs and fundamentals : | 511.3 CAL Logic, sets, and recursion / |
Includes bibliographical references and index.
There are no comments on this title.