Logic, Computation, Hierarchies
Regular price
€184.76
Category=PBCD
Category=PBCH
Category=QDTL
Category=UYA
Computability Theory
eq_bestseller
eq_computing
eq_isMigrated=1
eq_nobargain
eq_non-fiction
Product details
- ISBN 9781614517832
- Weight: 735g
- Dimensions: 155 x 230mm
- Publication Date: 28 Jul 2014
- Publisher: De Gruyter
- Publication City/Country: US
- Product Form: Hardback
Secure
checkout
Fast Shipping
Easy returns
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.
Brattka, Univs. Bundeswehr München and Cape Town; Diener, Univs. Siegen and Canterbury, NZ; Spreen, Univs. Siegen and South Africa.
