Logic for Computer Scientists
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
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