Truth, deduction, and computation : Logic and semantics for Davis, R. E.
Material type:
TextPublication details: New York,USA: Computer Science Press, 1989Description: 265 pISBN: - 0-7167-8201-4
- 005.13 DAV-T
Books
| Current library | Call number | Status | Barcode | |
|---|---|---|---|---|
| UMT Main Campus | CS_ARC 005.13 DAV-T (Browse shelf(Opens below)) | Available | 5713 |
Browsing UMT Main Campus shelves Close shelf browser (Hides shelf browser)
| CS_ARC 005.13 BRA-C C for engineers | CS_ARC 005.13 BUC-C C for electronic engineering with applied software engineering | CS_ARC 005.13 CHI-C C Programming : Just the FAQs | CS_ARC 005.13 DAV-T Truth, deduction, and computation : Logic and semantics for | CS_ARC 005.13 DER-P Programming languages : Structures and models | CS_ARC 005.13 DER-P Programming languages : Structures and models | CS_ARC 005.13 ENG-N Numerical alogrithms with C [+CD] |
EN
There are no comments on this title.
Log in to your account to post a comment.