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
Includes bibliographical references (p. 274-277) and index.
There are no comments on this title.