To-Read Pile

• More OCaml: Algorithms, Methods, and Diversions

  John Whitington

• An Introduction to Description Logic

  Carsten Lutz, Franz Baader, Ian Horrocks

• How to Prove It: A Structured Approach

  Daniel J. Velleman