Combinatory logic. Volume II /
Provability, Computability and Reflection.
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
-
Combinatory logic /
Publicado: (1958) -
Combinatory logic : pure, applied and typed /
por: Bimbó, Katalin, 1963-
Publicado: (2012) -
Algebra of proofs /
Publicado: (1978) -
Logic and Combinatorics
por: Simpson, Stephen G.
Publicado: (1987) -
Combinatorial set theory /
Publicado: (1977)