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...
Saved in:
| Other Authors: | , , |
|---|---|
| Format: | Bibliography Edited Volume |
| Language: | English |
| Published: |
Boston Berlin
De Gruyter
2014
|
| Series: | Ontos mathematical logic
4 |
| In: |
Ontos mathematical logic (4)
|
| Volumes / Articles: | Show Volumes / Articles. |
| DOI: | 10.1515/9781614518044 |
| Subjects: | |
| Online Access: | 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 
|
| Author Notes: | edited by Vasco Brattka, Hannes Diener, Dieter Spreen |
| Summary: | 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 |
|---|---|
| Item Description: | Festschrift Includes bibliographical references and index |
| Physical Description: | Online Resource |
| ISBN: | 9781614518044 1614517835 |
| DOI: | 10.1515/9781614518044 |
| Access: | Restricted Access |