TY - BOOK AU - Erich Grädel, Reinhard Kahle TI - Computer Science Logic SN - 978-3-642-04027-6 PY - 2009/// CY - Germany PB - Springer KW - Computer Science KW - Computer Science Logic UR - http://link.springer.com/openurl?genre=book&isbn=978-3-642-04026-9 ER -