Computability and logic.
Now in its fourth edition, this book has become a classic because it covers not simply the staple topics of intermediate logic courses but also a large number of other topics. John Burgess has enhanced the book by adding problems at the end of each chapter and by rewriting chapters.
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,
2002.
|
Edición: | 4th ed. / |
Temas: | |
Acceso en línea: | Texto completo |
Ejemplares similares
-
Computability and logic.
por: Boolos, George
Publicado: (2007) -
The calculi of Lambda-conversion /
por: Alonzo Church
Publicado: (1941) -
A hierarchy of Turing degrees : a transfinite hierarchy of lowness notions in the computably enumerable degrees, unifying classes, and natural definability /
por: Downey, R. G. (Rod G.), et al.
Publicado: (2020) -
Models and computability : invited papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997 /
Publicado: (1999) -
Minimal weak truth table degrees and computably enumerable Turing degrees /
por: Downey, R. G. (Rod G.), et al.
Publicado: (2020)