Shelfclass_id | 3.D.4 |
Sortkey | DAVIS, MARTIN |
Authors | Martin Davis |
Title | Computability & Unsolvability |
Publisher | McGraw-Hill |
Year | 1958 |
Languages | dan |
Series | McGraw-Hill series in information processing and computers |
Description | 210 p 24 cm |
Record date | 20060630 |
Location | New York |
Keywords | Recursive functions, Unsolvability (Mathematical logic), Computable functions |