Effective mathematics of the uncountable /
Classical computable model theory is most naturally concerned with countable domains. There are, however, several methods - some old, some new - that have extended its basic concepts to uncountable structures. Unlike in the classical case, however, no single dominant approach has emerged, and differ...
Clasificación: | Libro Electrónico |
---|---|
Autores principales: | Greenberg, Noam, 1974- (Autor, Editor ), Hamkins, Joel David (Autor, Editor ), Miller, Russell (Professor of mathematics) (Autor, Editor ) |
Otros Autores: | Hirschfeldt, Denis Roman (Editor ) |
Formato: | Electrónico eBook |
Idioma: | Inglés |
Publicado: |
[Ithaca, NY?] : Cambridge :
Association for Symbolic Logic ; Cambridge University Press,
2013.
|
Colección: | Lecture notes in logic ;
41. |
Temas: | |
Acceso en línea: | Texto completo |
Ejemplares similares
-
Computability in context : computation and logic in the real world /
Publicado: (2011) -
Introducción a la teoría de la computabilidad /
por: Gallardo López, Domingo
Publicado: (2003) -
Logic and Computation
Publicado: (1990) -
Bounded variable logics and counting : a study in finite models /
por: Otto, Martin, 1961-
Publicado: (2017) -
Theory and practice of computation : proceedings of Workshop on Computation Theory and Practice WCTP2013, University of the Philippines Diliman, Philippines, 30 September-1 October 2013 /
Publicado: (2014)