Peter Smith

Sometime Cambridge logic lecturer, now idling in retirement

http://www.logicmatters.net/about