Handbook of computability theory /
The chapters of this volume all have their own level of presentation. The topics have been chosen based on the active research interest associated with them. Since the interest in some topics is older than that in others, some presentations contain fundamental definitions and basic results while oth...
Clasificación: | Libro Electrónico |
---|---|
Otros Autores: | Griffor, Edward R. |
Formato: | Electrónico eBook |
Idioma: | Inglés |
Publicado: |
Amsterdam ; New York :
Elsevier,
1999.
|
Edición: | 1st ed. |
Colección: | Studies in logic and the foundations of mathematics ;
v. 140. |
Temas: | |
Acceso en línea: | Texto completo Texto completo Texto completo |
Ejemplares similares
-
Computable structures and the hyperarithmetical hierarchy /
por: Ash, C. J.
Publicado: (2000) -
Computability, complexity, logic /
por: B�orger, E. (Egon), 1946-
Publicado: (1989) -
Computability and logic.
por: Boolos, George
Publicado: (2002) -
Non-classical logics, model theory, and computability : proceedings of the Third Latin-American Symposium on Mathematical Logic, Campinas, Brazil, July 11-17, 1976 /
Publicado: (1977) -
Models and computability : invited papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997 /
Publicado: (1999)