TY - DATA AU - Schöning,Uwe ED - SpringerLink (Online service) TI - Logic for Computer Scientists SN - 9780817647636 AV - QA9 S36 2008 PY - 2008/// CY - Boston, MA PB - Birkhäuser Boston KW - Computer science KW - Logic, Symbolic and mathematical KW - Computer Science KW - Mathematical Logic and Formal Languages KW - Mathematical Logic and Foundations UR - http://dx.doi.org/10.1007/978-0-8176-4763-6 ER -