I took a picture of the original dissertation once. They should've scanned it in color:

http://media.tumblr.com/tumblr_m654saPHnT1qdr8fn.jpg

I guess I've never looked at an historical mathematical document pre-TeX. Kinda awesome with the handwritten symbols.

You might be in interested in looking at Dijkstra's manuscripts, which are all handwritten. Here's an example [0], and an index is available here [1].

[0]: https://www.cs.utexas.edu/~EWD/ewd10xx/EWD1001.PDF [1]: http://www.cs.utexas.edu/users/EWD/

Wow! all those hand-written symbols. And he had to do it on every copy.

Looks very interesting, but it is rather long. Can anyone familiar with this paper provide a summary?

I'd love that, I'm also curious to know where this line of work headed to (in the present)!

There is a Wikipedia page: http://en.wikipedia.org/wiki/Systems_of_Logic_Based_on_Ordin...