Logic, Computation, Hierarchies
Innbundet /
2014
/ Engelsk
Produktdetaljer
ISBN
9781614517832
Publisert
2014-07-28
Utgiver
Vendor
De Gruyter
Vekt
735 gr
Høyde
230 mm
Bredde
155 mm
Aldersnivå
P, 06
Språk
Product language
Engelsk
Format
Product format
Innbundet
Antall sider
424
Biographical note
Brattka, Univs. Bundeswehr München and Cape Town; Diener, Univs. Siegen and Canterbury, NZ; Spreen, Univs. Siegen and South Africa.
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.
Les mer
Published in honor of Victor L Selivanov, this book collects 17 articles that inform on the 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.
Les mer
Produktdetaljer
ISBN
9781614517832
Publisert
2014-07-28
Utgiver
Vendor
De Gruyter
Vekt
735 gr
Høyde
230 mm
Bredde
155 mm
Aldersnivå
P, 06
Språk
Product language
Engelsk
Format
Product format
Innbundet
Antall sider
424
Biographical note
Brattka, Univs. Bundeswehr München and Cape Town; Diener, Univs. Siegen and Canterbury, NZ; Spreen, Univs. Siegen and South Africa.