Here's a nice presentation from him that has diagrams of how the basic logic circuits are built up using this approach:

http://cba.mit.edu/presentations/03.09.Vigoda.ppt

That is quite the thesis.