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:
Combinatory logic.
Logique combinatoire.
MATHEMATICS > Infinity.
MATHEMATICS > Logic.
Combinatory logic
Acceso en línea:Texto completo
Texto completo
Texto completo
Descripción
Sumario:Provability, Computability and Reflection.
Descripción Física:1 online resource (520 pages)
Bibliografía:Includes bibliographical references, index and errata.
ISBN:9780080954776
0080954774
1282309374
9781282309371
9786612309373
6612309377

Ejemplares similares