Schöning, Uwe.
Logic for Computer Scientists [electronic resource] / by Uwe Schöning. - Boston, MA : Birkhäuser Boston, 2008. - digital. - Progress in Computer Science and Applied Logic (PCS) ; 8 . - Progress in Computer Science and Applied Logic (PCS) ; 8 .
9780817647636
10.1007/978-0-8176-4763-6 doi
Computer science.
Logic, Symbolic and mathematical.
Computer Science.
Mathematical Logic and Formal Languages.
Mathematical Logic and Foundations.
QA8.9-QA10.3
005.131
Logic for Computer Scientists [electronic resource] / by Uwe Schöning. - Boston, MA : Birkhäuser Boston, 2008. - digital. - Progress in Computer Science and Applied Logic (PCS) ; 8 . - Progress in Computer Science and Applied Logic (PCS) ; 8 .
9780817647636
10.1007/978-0-8176-4763-6 doi
Computer science.
Logic, Symbolic and mathematical.
Computer Science.
Mathematical Logic and Formal Languages.
Mathematical Logic and Foundations.
QA8.9-QA10.3
005.131