This is my home page.

• Papers Papers on computation, philosophical logic, and the foundations of arithmetic.
• Phaintings Phaintings.
• Phaintings List

If you are interested in a personal view of architecture and buildings in Cambridge England, please consult Cambridge2000.