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