Computability : computable functions, logic, and the foundations of mathematics
Richard L. Epstein
Bok Engelsk 2000
| Utgitt | Belmont, Calif. : Wadsworth/Thomson Learning , c2000
|
|---|---|
| Omfang | 299, 38 s. : ill. + 1 fold. pl.
|
| Utgave | 2nd ed.
|
| Opplysninger | Av innholdet: With Computability and undecidability -- a timeline : the story of the development of computable functions and the undecidability of aritmetic to 1970 / Richard L. Epstein
|
| Emner | |
| ISBN | 0534546447
|
Computability : computable functions, logic, and the foundations of mathematics
Richard L. Epstein, Walter A. Carnielli
Bok · Engelsk · 1989
Richard L. Epstein, Walter A. Carnielli
Bok · Engelsk · 1989
