Clearing out an old box, I’ve come across a crumpled xerox of a bibliography of some two hundred papers and other pieces by Georg Kreisel, covering up to the early 1990s.
I believe this biblio was passed on to me by Dan Isaacson, though I cannot recall where he got it from. A quick internet search suggests that it isn’t readily available online. But it might well still be of interest to some, so I have scanned it and made it searchable, and here it is.
(Do let me know if there is a more complete biblio anywhere. I’ve always wondered what Kreisel’s reputation would now be had he had the expository facility — or at any rate, the desire to be understood — of e.g. a Putnam or a Feferman.)