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...
| Otros Autores: | , , , |
|---|---|
| Formato: | Libro electrónico |
| Idioma: | Inglés |
| Publicado: |
[Ithaca, NY?] : Cambridge :
Association for Symbolic Logic ; Cambridge University Press
2013.
|
| Colección: | EBSCO Academic eBook Collection Complete.
Lecture notes in logic ; 41. |
| Acceso en línea: | Conectar con la versión electrónica |
| Ver en Universidad de Navarra: | https://innopac.unav.es/record=b38451414*spi |
Search Result 1
