TY  - BOOK
AU  - Antonio Badia
TI  - Quantifiers in Action
SN  - 978-0-387-09564-6
PY  - 2009///
CY  - Germany
PB  - Springer
KW  - Computer Science
KW  - Quantifiers in Action
UR  - http://link.springer.com/openurl?genre=book&isbn=978-0-387-09563-9
ER  -