Truth, deduction, and computation : logic and semantics for computer science / R.E. Davis.
Material type:
TextSeries: Principles of computer science seriesPublication details: New York : Computer Science Press, c1989Description: xv, 265 p. : ill. ; 25 cmISBN: 0716782014 :Subject(s): Programming languages (Electronic computers) -- Semantics | Logic, Symbolic and mathematical | Electronic data processingDDC classification: 005.13 LOC classification: QA76.7 | .D386 1989
| Item type | Current library | Call number | Copy number | Status | Date due | Barcode | Item holds |
|---|---|---|---|---|---|---|---|
OS Book
|
CUZ Harare Campus Open Shelf | QA 76.7 DAV (Browse shelf(Opens below)) | CU1026 | Available | BK0005564 |
Total holds: 0
Browsing CUZ Harare Campus shelves, Shelving location: Open Shelf Close shelf browser (Hides shelf browser)
|
No cover image available |
|
|
|
No cover image available |
|
||
| QA 76.66 S87 Systems programming with Modula-3 / | QA 76.6615. PAD Deduction and declarative programming. | QA76.7 BRA Os x incident response : scripting and analysis / | QA 76.7 DAV Truth, deduction, and computation : | QA 76.7 GHE Programming language concepts / | QA 76.7 N7 The structure and design of programming language. | QA 76.7 P79 Programming languages, a grand tour / |
Includes bibliographical references (p. 257-260) and index.
There are no comments on this title.