×
  • Logic in computer science: modelling and reasoning about systems

    Michael Huth Mark Ryan

Click on cover to enlarge.
10 - 12Hours to read