Logic, computation, hierarchies /
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.
9781614517832 (hd.bd.) 1614517835 (hd.bd.) 9781614518044 (e-book)
Logic, Symbolic and mathematical--Congresses.
Algebra, Boolean--Congresses.
Quasi-metric spaces--Congresses.
Petri nets--Congresses.
Set theory--Congresses.
Electronic books.
QA10.3 / .L64 2014eb
Includes bibliographical references and index.
9781614517832 (hd.bd.) 1614517835 (hd.bd.) 9781614518044 (e-book)
Logic, Symbolic and mathematical--Congresses.
Algebra, Boolean--Congresses.
Quasi-metric spaces--Congresses.
Petri nets--Congresses.
Set theory--Congresses.
Electronic books.
QA10.3 / .L64 2014eb