Computability and logic.
This fifth edition of 'Computability and Logic' covers not just the staple topics of an intermediate logic course such as Godel's incompleteness theorems, but also optional topics that include Turing's theory of computability and Ramsey's theorem.
Clasificación: | Libro Electrónico |
---|---|
Autor principal: | Boolos, George |
Otros Autores: | Burgess, John P., 1948-, Jeffrey, Richard C. |
Formato: | Electrónico eBook |
Idioma: | Inglés |
Publicado: |
Cambridge ; New York :
Cambridge University Press,
2007.
|
Edición: | 5th ed. / |
Temas: | |
Acceso en línea: | Texto completo |
Ejemplares similares
-
Computability and logic.
por: Boolos, George
Publicado: (2002) -
Theory of formal systems /
por: Smullyan, Raymond M. (Raymond Merrill)
Publicado: (1961) -
The calculi of Lambda-conversion /
por: Alonzo Church
Publicado: (1941) -
Recursive functionals /
por: Sanchis, Luis E.
Publicado: (1992) -
Logic Colloquium '69 : proceedings of the Summer School and [fourteenth] Colloquium in Mathematical Logic, Manchester, August 1969 /
Publicado: (1971)