Logic, Computation, Hierarchies
Saved in:
| Title: | Logic, Computation, Hierarchies |
|---|---|
| Description: | 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. |
| Authors: | Vasco Brattka, Hannes Diener, Dieter Spreen |
| Resource Type: | eBook. |
| Subjects: | Logic, Symbolic and mathematical--Congresses, Algebra, Boolean--Congresses, Quasi-metric spaces--Congresses, Petri nets--Congresses, Set theory--Congresses |
| Categories: | PHILOSOPHY / Logic, MATHEMATICS / Logic, MATHEMATICS / Set Theory, PHILOSOPHY / General, PHILOSOPHY / Epistemology |
| Database: | eBook Collection (EBSCOhost) |
| Abstract: | 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. |
|---|---|
| ISBN: | 9781614517832 9781614519409 |
