02250nam a2200529 i 4500 EBC1652547 MiAaPQ 20250821132042.0 m o d | cr cnu|||||||| 140721t20142014maua ob 111 0 eng|d 9781614517832 (hd.bd.) 1614517835 (hd.bd.) 9781614518044 (electronic bk.) (MiAaPQ)EBC1652547 (Au-PeEL)EBL1652547 (CaPaEBR)ebr11006242 (CaONFJC)MIL806143 (OCoLC)890071023 MiAaPQ eng rda pn MiAaPQ MiAaPQ QA10.3 .L64 2014 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. Ann Arbor, MI : ProQuest, 2016. Available via World Wide Web. Access may be limited to ProQuest affiliated libraries. Logic, Symbolic and mathematical Congresses. 585217 Algebra, Boolean Congresses. 585218 Quasi-metric spaces Congresses. 585219 Petri nets Congresses. 585220 Set theory Congresses. 585221 Electronic books. 35142 Selivanov, Victor, honouree. 585222 Brattka, Vasco, 1966- editor. 585223 Diener, Hannes, editor. 585224 Spreen, Dieter, editor. 585225 Print version: Logic, computation, hierarchies. Boston : De Gruyter, [2014] x, 413 pages ; 24 cm. Ontos mathematical logic ; volume 4 9781614517832 (OCoLC)ocn888956446 (DLC)11006242 ProQuest (Firm) Ontos mathematical logic ; v. 4. 585226 https://ebookcentral.proquest.com/lib/kuct-ebooks/detail.action?docID=1652547 Click to View 316368 316368