Mathematical Logic and Computability/ H. Jerome Keisler, Joel Robbin.
Material type:
TextPublication details: New York The McGraw-Hill Companies, Inc 1996ISBN: - 0079129315
- QA9. K21
| Item type | Current library | Call number | Status | Date due | Barcode | |
|---|---|---|---|---|---|---|
Books
|
CKT-UTAS Library General Stacks | QA9. K21 (Browse shelf(Opens below)) | Available | NAV-51705003066 |
Browsing CKT-UTAS Library shelves, Shelving location: General Stacks Close shelf browser (Hides shelf browser)
| No cover image available | ||||||||
| QA9.A5 D12 Decision 2 Mathematics | QA9 A81 Fundations of Mathematics | QA9 G21 Introduction to mathematical structures and proofs / | QA9. K21 Mathematical Logic and Computability/ | QA9.54 G11 100% mathematical proof / | QA9.59 K21 A Programming Approach to Computability | QA9.59 T11 Models of computation and formal languages / |
There are no comments on this title.
Log in to your account to post a comment.