02017nam a2200469 i 4500 ebr11006242 CaPaEBR m o d cr cn||||||||| 140721t20142014maua ob 111 0 eng|d 9781614517832 (hd.bd.) 1614517835 (hd.bd.) 9781614518044 (e-book) CaPaEBR eng rda pn CaPaEBR (OCoLC)890071023 QA10.3 .L64 2014eb Logic, computation, hierarchies / edited by Vasco Brattka, Hannes Diener, Dieter Spreen. Boston : De Gruyter, [2014] �2014 1 online resource (423 pages) : illustrations. text rdacontent computer rdamedia online resource rdacarrier Ontos mathematical logic, 2198-2341 ; volume 4 Includes bibliographical references and index. Description based on print version record. Electronic reproduction. Palo Alto, Calif. : ebrary, 2015. Available via World Wide Web. Access may be limited to ebrary affiliated libraries. Logic, Symbolic and mathematical Congresses. Algebra, Boolean Congresses. Quasi-metric spaces Congresses. Petri nets Congresses. Set theory Congresses. Electronic books. Selivanov, Victor, honouree. Brattka, Vasco, 1966- editor. Diener, Hannes, editor. Spreen, Dieter, editor. Print version: Logic, computation, hierarchies. Boston : De Gruyter, [2014] x, 413 pages ; 24 cm. Ontos mathematical logic ; volume 4 2198-2341 ; 9781614517832 (OCoLC)ocn888956446 (DLC)11006242 ebrary. Ontos mathematical logic ; v. 4. http://site.ebrary.com/lib/rucke/Doc?id=11006242 An electronic book accessible through the World Wide Web; click to view 152162 152162