×
  • A Computational Logic Handbook

    Robert S. Boyer J. Strother Moore

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