JOIN / SIGN IN

Welcome to Hatchards Rewards

Earn a Rewards Stamp for every £10 you spend in our shops or online*

Every 10 Rewards Stamps you earn adds £10 to your Rewards Balance

Spend your Rewards Balance in our shops or online, with no minimum redemption*

*Exclusions apply, see full T&Cs for details.

Learn More

Logic, Computation, Hierarchies

Vasco Brattka (editor), Hannes Diener (editor), Dieter Spreen (editor)

Hardback Published on: 28/07/2014

£156.50

No reviews yet, be the first

Free UK delivery on orders over £25

Please note, this item can only be delivered to a UK address. Find out more

We can order this from the publisher
Usually dispatched within 2 weeks

Make and edit your lists in your account

No stock available in any shop.

We can order this from the publisher
Usually dispatched within 2 weeks

No stock available in any shop.

View other formats and editions

Synopsis

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.