Search Results

  • Showing 1 - 1 results of 1
Refine Results
  1. 1

    Logic in computer science:modelling and reasoning about systems by Huth, Michael

    Published 2005