Logic for the Mathematical/ Peter Hoffman.
Material type:
TextPublication details: University of Waterloo; 2006.Description: 415 pSubject(s): LOC classification: - QA 9 .H644 2006
| Cover image | Item type | Current library | Home library | Collection | Shelving location | Call number | Materials specified | Vol info | URL | Copy number | Status | Notes | Date due | Barcode | Item holds | Item hold queue priority | Course reserves | |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
L
|
Maasai Mara University Library -Main Campus | QA 9 .H644 2006 (Browse shelf(Opens below)) | Available | 17036107 |
Browsing Maasai Mara University Library -Main Campus shelves Close shelf browser (Hides shelf browser)
| QA9.B3955 2001 Mathematical logic for computer science/ | QA9 .G358 2012 Introduction to mathematical structures and proofs / | QA9.H34 1968 Foundations of mathematics / | QA 9 .H644 2006 Logic for the Mathematical/ | QA9.R78 1990 Mathematical logic : applications and theory / | QA 9 .V38 2006 How To Prove It A Structured Approach / | QA9.58 .B47 1999 The advent of the algorithm / |
Includes bibliographical references
There are no comments on this title.
Log in to your account to post a comment.