Combinatory logic

Detalles Bibliográficos
Autor Principal: Curry, Haskell Brooks 1900-
Outros autores: Feys, Robert 1889-
Formato: Libro
Idioma:English
Publicado: Amsterdam North-Holland 1958-72.
Series:Studies in logic and the foundations of mathematics
Subjects: