Brown, George Spencer
Links
George Spencer Brown and his Laws of Form
http://www.enolagaia.com/GSB.html
Includes an account of his principal work and detailed online references, compiled by Randall Whittaker.
Demonstration and Proof
http://www.csus.edu/indiv/v/vonmeierk/4-03EXCU.html
Page that includes a discourse presented by Brown in 1973, on the distinction between a demonstration and a proof.
To Dissect a Mockingbird
http://www.uq.net.au/~zzdkeena/Lambda/
"A Graphical Notation for the Lambda Calculus with Animated Reduction." - David Keenan, 1996, on the use of a notation inspired by Laws of Form.