Logic in Computer Science;

Huth,Micheal;Ryan,Mark;

Logic in Computer Science; Modelling and Reasoning About Systems. - 2nd ed. - UK; Cambridge University Press. 2004. - xiv,427p; ill; 28cm

Notes,Bibliography and index are included.

9780521656028


Computer science.

005.115