Logic, Computation, Hierarchies.

Mostrar otras versiones (1)

<!Doctype html public ""-//w3c//dtd html 4.0 transitional//en""> <html><head> <meta content=""text/html; charset=iso-8859-1"" http-equiv=content-type> <meta name=generator content=""mshtml 8.00.6001.23644""><...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Otros Autores: Brattka, Vasco (Editor ), Diener, Hannes (Editor ), Spreen, Dieter (Editor )
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Boston : De Gruyter, [2014]
Colección:Ontos mathematical logic.
Temas:
Logic, Symbolic and mathematical > Congresses.
Algebra, Boolean > Congresses.
Quasi-metric spaces > Congresses.
Petri nets > Congresses.
Set theory > Congresses.
Algebra, Boolean.
Logic, Symbolic and mathematical.
Logic.
Petri nets.
Philosophy.
Quasi-metric spaces.
Set theory.
Theoretical Philosophy.
Mathematik.
Logique symbolique et mathématique > Congrès.
Algèbre de Boole > Congrès.
Espaces quasi-métriques > Congrès.
Réseaux de Pétri > Congrès.
Théorie des ensembles > Congrès.
MATHEMATICS > General.
Conference papers and proceedings.
Acceso en línea:Texto completo
Descripción
Sumario:<!Doctype html public ""-//w3c//dtd html 4.0 transitional//en""> <html><head> <meta content=""text/html; charset=iso-8859-1"" http-equiv=content-type> <meta name=generator content=""mshtml 8.00.6001.23644""></head> <body> Published in honor of Victor L. Selivanov, the 17 articles collected in this volume inform on the latest developments in computability theory and its applications in computable analysis; descriptive set theory and topology; and the theory of omega-languages; as well as non-classical logics, such as temporal logic and paraconsistent logic. This volume will be of interest to
Notas:Includes index.
Published in honor of Victor L. Selivanov, the 17 articles collected in this volume inform on the latest developments in computability theory and its applications in computable analysis; descriptive set theory and topology; and the theory of omega-languages; as well as non-classical logics, such as temporal logic and paraconsistent logic. This volume will be of interest to mathematicians and logicians, as well as theoretical computer scientists.
Descripción Física:1 online resource (x, 413 pages)
Bibliografía:Includes bibliographical references and index.
ISBN:9781614518044
1614518041
9781614518051
161451805X
9781614519409
1614519404

Ejemplares similares