Computability, 1973-1974 / Martin Davis ; notes by Barry Jacobs.
Material type:
- 519.4
- QA 9.59 .D38 1974
Item type | Current library | Call number | Status | Barcode | |
---|---|---|---|---|---|
![]() |
Main Campus Library General Stacks | QA 9.59 .D38 1974 (Browse shelf(Opens below)) | Available | 1015491 |
Browsing Main Campus Library shelves, Shelving location: General Stacks Close shelf browser (Hides shelf browser)
![]() |
![]() |
![]() |
No cover image available | No cover image available |
![]() |
![]() |
||
QA 8.6 .B8 2000 The heart of mathematics : | QA 8.9 .T4 1977 Symbolic logic / | QA 8.9 .T4 1977 Symbolic logic / | QA 9.59 .D38 1974 Computability, 1973-1974 / | QA 9 .B3 1964 Philosophy of mathematics | QA 9 .E5 2001 C1 A mathematical introduction to logic / | QA 9 .E5 2011 C2 A mathematical introduction to logic / |