[FOM] Kreisel bibliography?

[Peter Smith]

Before I perhaps unnecessarily spend time on this, has any colleague out 
there constructed a more or less comprehensive bibliography of Georg 
Kreisel's publications? There isn't one in the Kreiseliana volume -- but 
there is no point in reiniventing the wheel if a bibliography exists 
elsewhere.

-- 
Dr Peter Smith: Faculty of Philosophy, University of Cambridge
ps218 at cam.ac.uk

Gödel's Theorems: http://www.godelbook.net 
Idle musings: http://logicmatters.blogspot.com