Image from Amazon.com
Mathematical logic for computer science
Material type:
TextSeries: Prentice-Hall International series in computer sciencePublication details: New York : : Prentice Hall, 1993.Description: 305 p. : : ill. ; ; 24 cmISBN: - 013564139X
- 511.3 BEN 1993
| Item type | Current library | Home library | Collection | Shelving location | Call number | Status | Date due | Barcode | Item holds |
|---|---|---|---|---|---|---|---|---|---|
Open Collection
|
FIRST CITY UNIVERSITY COLLEGE | FIRST CITY UNIVERSITY COLLEGE | Open Collection | FCUC Library | 511.3 BEN 1993 (Browse shelf(Opens below)) | Available | 00005448 |
Total holds: 0
Browsing FIRST CITY UNIVERSITY COLLEGE shelves, Shelving location: FCUC Library, Collection: Open Collection Close shelf browser (Hides shelf browser)
|
|
|
|
|
|
|
||
| 511.1 SAD 1996 Discrete mathematics / | 511.3 ALL 1997 Numbers & proofs / | 511.3 ALL 1997 Numbers & proofs / | 511.3 BEN 1993 Mathematical logic for computer science | 511.3 BUR 1996 Logic and its applications / | 511.3 KEI 1996 Mathematical logic and computability / | 511.3 KEI 1996 Mathematical logic and computability / |
Includes index.