Logic for Mathematics/
Material type:
TextPublication details: New York Cambridge University Press 1988Description: viii,227p.: illISBN: 0521368650LOC classification: QA9 | .H18 1988
| Item type | Current library | Call number | Copy number | Status | Date due | Barcode | Item holds |
|---|---|---|---|---|---|---|---|
ATU Book
|
SCHOOL OF APPLIED SCIENCE & ENGINEERING LIBRARY - ACCRA TECHNICAL UNIVERSITY General Stacks | QA9 .H18 1988 (Browse shelf(Opens below)) | c1 | Available | 0000002729 |
Total holds: 0
Browsing SCHOOL OF APPLIED SCIENCE & ENGINEERING LIBRARY - ACCRA TECHNICAL UNIVERSITY shelves, Shelving location: General Stacks Close shelf browser (Hides shelf browser)
| QA9 .B43 1993 Mathematical logic for computer science / | QA9 .F88 1970 Frege and Gödel; two fundamental texts in mathematical logic. | QA9 .G13 1990 Logic for information technology / | QA9 .H18 1988 Logic for Mathematics/ | QA9 .K96 1992 Foundations of abstract mathematics / | QA9 .K96 1992 Foundations of abstract mathematics / | QA9 .R23 2000 Learning to reason : an introduction to logic, sets and relations / |
Includes index
There are no comments on this title.