4 ms·

Fundamental Proof Methods in Computer Science, by Konstantine Arkoudas and David Musser.

• haskellandchill 9y ago
  Amazing, can’t believe I missed this one!