3 ms·Logic, Proof and Computation – a new book from the creator of Shen3 points by michaelsbradley 12y ago