Logic, Computation, Hierarchies
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...
Gespeichert in:
| Weitere Verfasser: | , , |
|---|---|
| Dokumenttyp: | Bibliographie Edited Volume |
| Sprache: | Englisch |
| Veröffentlicht: |
Boston Berlin
De Gruyter
2014
|
| Schriftenreihe: | Ontos mathematical logic
4 |
| In: |
Ontos mathematical logic (4)
|
| Volumes / Articles: | Show Volumes / Articles. |
| DOI: | 10.1515/9781614518044 |
| Schlagworte: | |
| Online-Zugang: | Resolving-System, lizenzpflichtig, Volltext: https://doi.org/10.1515/9781614518044 Verlag, lizenzpflichtig: https://www.degruyterbrill.com/isbn/9781614518044 Verlag, Volltext: http://dx.doi.org/10.1515/9781614518044 Cover: https://www.degruyterbrill.com/doc/cover/9781614518044.jpg Verlag, Cover: https://www.degruyterbrill.com/cover/covers/9781614518044.jpg Verlag, Cover: https://www.degruyterbrill.com/document/cover/isbn/9781614518044/original Verlag, Zentralblatt MATH, Inhaltstext: https://zbmath.org/?q=an:1294.03011 
|
| Verfasserangaben: | edited by Vasco Brattka, Hannes Diener, Dieter Spreen |
| Zusammenfassung: | 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 |
|---|---|
| Beschreibung: | Festschrift Includes bibliographical references and index |
| Beschreibung: | Online Resource |
| ISBN: | 9781614518044 1614517835 |
| DOI: | 10.1515/9781614518044 |
| Zugangseinschränkungen: | Restricted Access |