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...
| Other Authors: | , , , |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Boston :
De Gruyter,
[2014]
|
| Edition: | 1st ed |
| Series: | Ontos mathematical logic ;
v. 4 |
| Subjects: |