TY  - DATA
AU  - Fabio Mogavero
TI  - Logics in Computer Science
SN  - 9789491216954
PY  - 2013///
PB  - Atlantis Press
KW  - Mathematics and Statistics
UR  - https://doi.org/10.2991/978-94-91216-95-4
ER  -