Library Banner

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