Mathematical problems from applied logic I : logics for the XXIst century /
Guardado en:
| Otros Autores: | , , |
|---|---|
| Formato: | Libro |
| Idioma: | English |
| Publicado: |
New York :
Springer,
c2006-
|
| Series: | International mathematical series ;
v. 4 |
| Materias: | |
| Acceso en línea: | Publisher description |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
Tabla de Contenidos:
- Franz Baader and Ralf Küsters, Nonstandard inferences in description logics: the story so far
- Lev Beklemishev and Albert Visser, Problems in the logic of provability
- Johan van Benthem, Open problems in logical dynamics
- S. Barry Cooper, Computability and emergence
- John N. Crossley, Samsara
- Wilfrid Hodges, Two doors to open
- Lawrence S. Moss, Applied logic: a manifesto.