IUKL Library
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 (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
The Library's homepage is at http://library.iukl.edu.my/.