Logic in Computer Science
"Huth, Michael"
Logic in Computer Science - \\200702ENGGPCX - Cambridge University Press 2007 Cambridge - 427p.
includes index and biblioraphy
Logic in Computer Science - \\200702ENGGPCX - Cambridge University Press 2007 Cambridge - 427p.
includes index and biblioraphy