Cargando…

Combinatory logic. Volume II /

Provability, Computability and Reflection.

Detalles Bibliográficos
Clasificación:Libro Electrónico
Otros Autores: Curry, Haskell B. (Haskell Brooks), 1900-1982, Hindley, J. Roger, Seldin, J. P.
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Amsterdam ; London : North-Holland Pub. Co, 1972.
Colección:Studies in logic and the foundations of mathematics ; v. 65.
Temas:
Acceso en línea:Texto completo
Texto completo
Texto completo

Ejemplares similares