Logic for information technology / Antony Galton.
Material type: TextPublication details: Chichester ; New York : Wiley, c1990Description: xiv, 290 p. : ill. ; 26 cmISBN: 0471927775 :; 0471929336 (pbk.)Subject(s): Logic, Symbolic and mathematicalDDC classification: 511.3 LOC classification: QA9 | .G13 1990Item 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 .G13 1990 (Browse shelf(Opens below)) | c1 | Available | 0000002700 |
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 .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 / |
Includes bibliographical references (p. [286]) and index.
There are no comments on this title.