Logic in computer science : modelling and reasoning about systems
Huth, Michael and Ryan, Mark
Logic in computer science : modelling and reasoning about systems Huth, Michael and Ryan, Mark - 2nd ed. - Cambridge 2004
006.3 / T04 HUT.R
Logic in computer science : modelling and reasoning about systems Huth, Michael and Ryan, Mark - 2nd ed. - Cambridge 2004
006.3 / T04 HUT.R