Cargando…

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.

Detalles Bibliográficos
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
Search Result 1
por Boolos, George
Publicado 2002
Texto completo
Electrónico eBook