Computability and unsolvability / Martin Davis.
Material type:![Text](/opac-tmpl/lib/famfamfam/BK.png)
- 0486614719
- QA9.64 D38 1982
Item type | Current library | Call number | Copy number | Status | Notes | Date due | Barcode | |
---|---|---|---|---|---|---|---|---|
![]() |
Biblioteca de la Facultad de Físico Matemáticas General | QA9.64 D38 1982 C:1 (Browse shelf(Opens below)) | C:1 | Available | Solo para Lectura | FFM000006649 |
Browsing Biblioteca de la Facultad de Físico Matemáticas shelves, Shelving location: General Close shelf browser (Hides shelf browser)
QA9.59 W67 1990 Logic and computation: | QA9.6 R43 1985 Recursion theory / | QA9.6 R43 1985 Recursion theory / | QA9.64 D38 1982 C:1 Computability and unsolvability / | QA9.7 B45 2006 C:1 Models and ultraproducts : | QA9.7 L67 1972 C:1 Modelos matemáticos | QA9.7 L67 r1983 C:1 Modelos matemáticos / |
Incluye referencias, apéndice e índice
There are no comments on this title.
Log in to your account to post a comment.