TY  - BOOK
AU  - Selivanov,Victor
AU  - Brattka,Vasco
AU  - Diener,Hannes
AU  - Spreen,Dieter
TI  - Logic, computation, hierarchies
T2  - Ontos mathematical logic,
AV  - QA10.3 .L64 2014
PY  - 2014///]
CY  - Boston
PB  - De Gruyter
KW  - Logic, Symbolic and mathematical
KW  - Congresses
KW  - Algebra, Boolean
KW  - Quasi-metric spaces
KW  - Petri nets
KW  - Set theory
KW  - Electronic books
N1  - Includes bibliographical references and index
UR  - https://ebookcentral.proquest.com/lib/bacm-ebooks/detail.action?docID=1652547
ER  -