ENGLISH

Logic, Computation, Hierarchies

By Vasco Brattka , Hannes Diener , Dieter Spreen

Book information

Publisher
de Gruyter
Year
2014
ISBN
1614517835, 9781614517832
Language
english
Format
PDF
Filesize
19 MB (20333434 bytes)
Series
Ontos Mathematical Logic
Pages
414\426
Time added
2016-05-21 09:08:37
Logic;Pure Mathematics;Mathematics;Science & Math;Used & Rental Textbooks;Specialty BoutiUsed & Rental Textbooks;Specialty Boutique;Logic;PUsed & Rental Textbooks;Specialty Boutique;Mathema

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.

Similar books