Logic for mathematics and computer science
By: Burris, Stanley N.
Material type:
BookPublisher: New Jersey: Prentice Hall, 1998Description: xxiv, 984 p.; ill.ISBN: 0132859742 .DDC classification: 511.3
| Item type | Current location | Call number | Status | Date due | Barcode |
|---|---|---|---|---|---|
| Books | 511.3 BUR (Browse shelf) | Available | 009062 |
Browsing DAIICT Shelves Close shelf browser
| 511.3 BRA Hybrid logic and its proof-theory | 511.3 BRI Computability : a mathematical sketchbook | 511.3 BUR Logic for mathematics and computer science | 511.3 BUR Logic for mathematics and computer science | 511.3 CAM Combinatorics | 511.3 CAR Analysis and synthesis of logics : how to cut and paste reasoning systems | 511.3 CAU Logic, sets, and recursion (Supplement) |
There are no comments for this item.