Computability & unsolvability / Martin Davis.
Series McGraw-Hill series in information processing and computersEditor: New York : McGraw-Hill, 1958Descripción: xxv, 210 p. ; 24 cmOtro título: Computability and unsolvabilityTema(s): Recursive functions | Unsolvability (Mathematical logic) | Computable functionsOtra clasificación: 03Dxx| Item type | Home library | Shelving location | Call number | Materials specified | Status | Date due | Barcode |
|---|---|---|---|---|---|---|---|
Libros
|
Instituto de Matemática, CONICET-UNS | Libros ordenados por tema | 03 D261c (Browse shelf) | Available | A-2949 |
Browsing Instituto de Matemática, CONICET-UNS shelves, Shelving location: Libros ordenados por tema Close shelf browser
| 03 C976t-2 A theory of formal deducibility / | 03 D132 Théorie des modèles en logique mathématique / | 03 D261 Lecture notes on mathematical logic / | 03 D261c Computability & unsolvability / | 03 D361 A profile of mathematical logic / | 03 D426 Axiomatique intuitionniste sans négation de la géométrie projective / | 03 D497-2 The joy of sets : |
Incluye referencias bibliográficas (p. 199-203) e índice.
MR, 23 #A1525
Click on an image to view it in the image viewer
There are no comments on this title.