Logic in computer science
Mark Ryan
Logic in computer science modelling and reasoning about systems - Cambridge,USA: Cambridge University Press, 2004 - 427 p.
EN
0-521-67089-6
Computer logic
004.0151 / HUT-L
Logic in computer science modelling and reasoning about systems - Cambridge,USA: Cambridge University Press, 2004 - 427 p.
EN
0-521-67089-6
Computer logic
004.0151 / HUT-L
