Catálogo de publicaciones - libros

Compartir en
redes sociales

Mathematical Problems from Applied Logic I: Logics for the XXIst Century

Dov M. Gabbay ; Sergei S. Goncharov ; Michael Zakharyaschev (eds.)

Resumen/Descripción – provisto por la editorial

No disponible.

Palabras clave – provistas por la editorial

Mathematical Logic and Foundations; Logic; Logics and Meanings of Programs; Mathematical Logic and Formal Languages; Mathematics of Computing

Disponibilidad

Institución detectada	Año de publicación	Navegá	Descargá	Solicitá
No detectada	2006	SpringerLink

Información

Tipo de recurso:

libros

ISBN impreso

978-0-387-28688-4

ISBN electrónico

978-0-387-31072-5

Editor responsable

Springer Nature

País de edición

Reino Unido

Fecha de publicación

2006

Información sobre derechos de publicación

Cobertura temática

Matemáticas

Lenguas y literatura

Tabla de contenidos

Verificá que desde tu institución tengas acceso para descargar o solicitar el libro completo o alguno de sus capítulos.

doi: 10.1007/0-387-31072-X_1

Nonstandard Inferences in Description Logics: The Story So Far

Franz Baader; Ralf Küsters

Pp. 1-75

doi: 10.1007/0-387-31072-X_2

Problems in the Logic of Provability

Lev Beklemishev; Albert Visser

Pp. 77-136

doi: 10.1007/0-387-31072-X_3

Open Problems in Logical Dynamics

Johan van Benthem

Pp. 137-192

doi: 10.1007/0-387-31072-X_4

Computability and Emergence

S Barry Cooper

Pp. 193-231

doi: 10.1007/0-387-31072-X_5

Samsara

John N Crossley

Pp. 233-276

doi: 10.1007/0-387-31072-X_6

Two Doors to Open

Wilfrid Hodges

Pp. 277-316

doi: 10.1007/0-387-31072-X_7

Applied Logic: A Manifesto

Lawrence S. Moss

Pp. 317-343