Schöning, Uwe.
Logic for Computer Scientists [electronic resource] /
by Uwe Schöning.
- Boston, MA : Birkhäuser Boston, 2008.
- v.: digital
- Progress in Computer Science and Applied Logic (PCS) ; 8 .
9780817647636
Computer science
Logic, Symbolic and mathematical
Computer Science
Mathematical Logic and Formal Languages
Mathematical Logic and Foundations
QA9 / S36 2008