Logic, sets, and recursion / Robert L. Causey.
Material type:
TextPublication details: Sudbury, Mass. : Jones and Bartlett Publishers, c2006.Edition: 2nd edDescription: ix, 512 p. : ill. ; 24 cmISBN: - 9789380108087
- 511.3 22 CAL
| Item type | Current library | Call number | Copy number | Status | Date due | Barcode |
|---|---|---|---|---|---|---|
Books
|
Seminar Library, Department of Mathematics General Stacks | 511.3 CAL (Browse shelf(Opens below)) | 1 | Available | 0059692 | |
Books
|
Seminar Library, Department of Mathematics General Stacks | 511.3 CAL (Browse shelf(Opens below)) | 2 | Available | 0059693 |
Browsing Central Library, SUST shelves, Shelving location: General Stacks Close shelf browser (Hides shelf browser)
|
|
|
|
|
|
|
||
| 511.3 BEM Mathematical logic for computer science / | 511.3 BLP Proofs and fundamentals : | 511.3 CAL Logic, sets, and recursion / | 511.3 CAL Logic, sets, and recursion / | 511.3 CHM The mathematical theory of black holes / | 511.3 DIP Predicate calculus and program semantics / | 511.3 DIP Predicate calculus and program semantics / |
Includes bibliographical references (p. 495-500) and index.

There are no comments on this title.