Gå direkte til innholdet
Logic, Computation, Hierarchies
Logic, Computation, Hierarchies
Spar

Logic, Computation, Hierarchies

Engelsk
Les i Adobe DRM-kompatibelt e-bokleserDenne e-boka er kopibeskyttet med Adobe DRM som påvirker hvor du kan lese den. Les mer
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
9781614519409
Språk
Engelsk
Utgivelsesdato
4.9.2014
Tilgjengelige elektroniske format
  • Epub - Adobe DRM
Les e-boka her
  • E-bokleser i mobil/nettbrett
  • Lesebrett
  • Datamaskin