Alan Turing's systems of logic : the Princeton thesis
By: Appel, Andrew W.
Material type:
BookPublisher: Princeton: Princeton University Press, 2012Description: xv, 142 p.; ill.: 26 cm.ISBN: 9780691155746 .Subject(s): Logic, Symbolic and mathematical | Computer scienceDDC classification: 511.3
| Item type | Current location | Call number | Status | Date due | Barcode |
|---|---|---|---|---|---|
| Books | 511.3 APP (Browse shelf) | Available | 027325 |
Browsing DAIICT Shelves Close shelf browser
| 511.3 ADA Collision-Based Computing | 511.3 AMA Elementary course in partial differential equations | 511.3 AMA Domains and lambda-calculi | 511.3 APP Alan Turing's systems of logic : the Princeton thesis | 511.3 BEL Higher-order logic and type theory | 511.3 BEN Basic category theory for computer scientists | 511.3 BEN Mathematical logic for computer science |
There are no comments for this item.