TY  - GEN
AU  - Selivanov, Victor,
AU  - Brattka, Vasco,
AU  - Diener, Hannes,
AU  - Spreen, Dieter,
CN  - QA10.3
ID  - 721983
KW  - Logic, Symbolic and mathematical
KW  - Algebra, Boolean
KW  - Quasi-metric spaces
KW  - Petri nets
KW  - Set theory
LK  - https://univsouthin.idm.oclc.org/login?url=http://site.ebrary.com/lib/usiricelib/Doc?id=11006242
SN  - 9781614518044
T1  - Logic, computation, hierarchies
TI  - Logic, computation, hierarchies
UR  - https://univsouthin.idm.oclc.org/login?url=http://site.ebrary.com/lib/usiricelib/Doc?id=11006242
VL  - volume 4
ER  -