Mathematical logic for computer science / M. Ben-Ari.
Material type:
TextSeries: Prentice Hall international series in computer sciencePublication details: New York : Prentice Hall, 1993Description: xi, 305 p. : ill. ; 24 cmISBN: 013564139X Subject(s): Logic, Symbolic and mathematicalDDC classification: 511.3 LOC classification: QA9 | .B43 1993
| 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 .B43 1993 (Browse shelf(Opens below)) | c1 | Available | 0000002702 | ||
|
ATU Book
|
SCHOOL OF APPLIED SCIENCE & ENGINEERING LIBRARY - ACCRA TECHNICAL UNIVERSITY General Stacks | QA9 .B43 1993 (Browse shelf(Opens below)) | c3 | Available | 0000002701 |
Total holds: 0
Browsing SCHOOL OF APPLIED SCIENCE & ENGINEERING LIBRARY - ACCRA TECHNICAL UNIVERSITY shelves, Shelving location: General Stacks Close shelf browser (Hides shelf browser)
| QA8.7 .SM5 1989 Consumer mathematics | QA8.7 .SM5 1989 Consumer mathematics | QA8.7 .SM5 1989 Consumer mathematics | 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 / |
Includes bibliographical references (p. 274-277) and index.
There are no comments on this title.