Computability and logic George S. Boolos<>Richard C. Jeffrey
Material type:
TextPublication details: Cambridge,USA: Cambridge University Press, 1995Edition: 3rdDescription: 304 pISBN: - 0-521-38026-x
- 511.3 BOO-C
Books
| Current library | Call number | Status | Barcode | |
|---|---|---|---|---|
| UMT Main Campus | 511.3 BOO-C (Browse shelf(Opens below)) | Available | 22407 |
Browsing UMT Main Campus shelves Close shelf browser (Hides shelf browser)
| 511.3 BEN-M Mathematical logic for computer science | 511.3 BEN-M Mathematical logic For Computer Science | 511.3 BEN-M Mathematical logic for computer science / | 511.3 BOO-C Computability and logic | 511.3 BOO-C Computability and logic | 511.3 BOO-C Computability and Logic | 511.3 BUR-L Logic and its applications |
EN
There are no comments on this title.
Log in to your account to post a comment.