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.

9781614518044


Logic, Symbolic and mathematical--Congresses.
Algebra, Boolean--Congresses.
Quasi-metric spaces--Congresses.
Petri nets--Congresses.
Set theory--Congresses.


Electronic books.

QA10.3 / .L64 2014