Logic in computer science

Huth, Michael

Logic in computer science - 2nd, ed - New Delhi : Cambridge University Press, 2005 - xiv, 427p.

reprint - 2016

9780521670890


Computer science

004 HUT