Logic, Computation, Hierarchies.

Afficher d'autres versions (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""><...

Description complète

Détails bibliographiques
Cote:Libro Electrónico
Autres auteurs: Brattka, Vasco (Éditeur intellectuel), Diener, Hannes (Éditeur intellectuel), Spreen, Dieter (Éditeur intellectuel)
Format: Électronique eBook
Langue:Inglés
Publié: Boston : De Gruyter, [2014]
Collection:Ontos mathematical logic.
Sujets:
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.
Accès en ligne:Texto completo
Description
Résumé:<!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
Description: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.
Description matérielle:1 online resource (x, 413 pages)
Bibliographie:Includes bibliographical references and index.
ISBN:9781614518044
1614518041
9781614518051
161451805X
9781614519409
1614519404

Documents similaires