1. 17
    The Little Prover book compsci mitpress.mit.edu
    zem avatar via zem 3 years ago | cached | 2 comments

  1.  

  2. 2
    seako avatar seako 3 years ago | link

    Exciting! I’ve thoroughly enjoyed The Little Schemer and The Seasoned Schemer. This will be a welcome addition to the library. Can’t wait to read it.

    1. 1
      zem avatar zem 3 years ago | link

      “the little mler” was awesome too