Computability and unsolvability
By: Davis, Martin.
Material type:
BookSeries: Dover books on advenced mathematics.Publisher: New York Dover Publications 1982Edition: 1ª edición.Description: 248 páginas.ISBN: 0486614719.Subject(s): Funciones computables | Funciones recursivas | Insolubilidad | Lógica matemática | Teoría de recursiónDDC classification: 511.35
| Item type | Current location | Collection | Call number | Status | Date due | Barcode |
|---|---|---|---|---|---|---|
Libros Colección General
|
Biblioteca Lillo | Colección Joseph Baldwin | Available | 02852 |
Click on an image to view it in the image viewer