Logic, computation, hierarchies / edited by Vasco Brattka, Hannes Diener, Dieter Spreen. - 1 online resource (423 pages) : illustrations. - Ontos mathematical logic, volume 4 2198-2341 ; . - Ontos mathematical logic ; v. 4. . Includes bibliographical references and index. ISBN: 9781614518044 Subjects--Topical Terms: Logic, Symbolic and mathematical--Congresses.Algebra, Boolean--Congresses.Quasi-metric spaces--Congresses.Petri nets--Congresses.Set theory--Congresses. Index Terms--Genre/Form: Electronic books. LC Class. No.: QA10.3 / .L64 2014