Computability : computable functions, logic, and the foundations of mathematics Richard L. Epstein, Walter A. Carnielli.
Por: Epstein, Richard L.
Colaborador(es): Carnielli, Walter A.
Editor: Belmont : Wadsworth/Thomson Learning, 2000Edición: 2a. ed.Descripción: 299 p. : gráficos, tablas.ISBN: 0534546447.Tema(s): FUNCIONES ESPECIALES | MATEMATICAS | LOGICA SIMBOLICATipo de ítem | Ubicación actual | Signatura | Copia número | Estado | Fecha de vencimiento |
---|---|---|---|---|---|
Libros | Biblioteca Laura Manzo - Universidad Nacional de Quilmes DEPOSITO | 515.5 EPS (Navegar estantería) | 1 | Disponible |
With Computability and undecidability - a timeline, the story of the developmentof computable functions and the undecidability of arithmetic to 1970, Richard L. Epstein