×
  • A Computational Logic (ACM monograph series)

    Robert S. Boyer J. Strother Moore

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