Mathematical logical and / [by] H.Jerome Keisler and Joel Robbin
By: KEISLER, H. Jerome | Robbin,Joel.
Publisher: NewYOrk McGraw - Hill 1996Description: vii, 484p.ISBN: 79129315.Subject(s): Computer programming | Logic | Booleam algebraDDC classification: 511.13Item type | Current location | Collection | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|---|
Books in Stacks (S) | Main Library Science & Technology | 511.13 MAT (Browse shelf) | Available | 133594 | ||
Books in Stacks (S) | Main Library Science & Technology | S | 511.13 KEI (Browse shelf) | Available | 130859 |
Browsing Main Library Shelves , Shelving location: Science & Technology , Collection code: S Close shelf browser
No cover image available | No cover image available | No cover image available | No cover image available | |||||
511.1 BOG Discrete mathematics | 511.1 CON The Mathematics of finite elements and applications | 511.1 LIP Discrete mathematics | 511.13 KEI Mathematical logical and / | 511.3 BRE Introduction to the theory of sets | 511.3 BRI Varieties of constructive mathematics | 511.3 FRA Proof in mathematics: an introduction |
Includes index.
There are no comments for this item.