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

Powered by Koha