Fr. 196.00

Vasco Brattka, Hanne Diener, Hannes Diener, Dieter Spreen

Logic, Computation, Hierarchies

English · Hardback

Shipping usually within 2 to 3 weeks (title will be printed to order)

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.

About the author

Brattka, Univs. Bundeswehr München and Cape Town; Diener, Univs. Siegen and Canterbury, NZ; Spreen, Univs. Siegen and South Africa.

Product details

Assisted by	Vasco Brattka (Editor), Hanne Diener (Editor), Hannes Diener (Editor), Dieter Spreen (Editor)
Publisher	De Gruyter

Languages	English
Product format	Hardback
Released	01.01.2014

EAN	9781614517832
ISBN	978-1-61451-783-2
No. of pages	414
Dimensions	165 mm x 234 mm x 28 mm
Weight	735 g
Series	Ontos Mathematical Logic ontos mathematical logic ISSN Ontos Mathematical Logic, 4
Subject	Natural sciences, medicine, IT, technology > Mathematics > Basic principles

Customer reviews

No reviews have been written for this item yet. Write the first review and be helpful to other users when they decide on a purchase.