Kreisel's Interests

<p>The contributions to this volume are from participants of the international conference <em>Kreisel's Interests -- On the Foundations of Logic and Mathematics</em> which took place from 13 to 14 August 2018 at the University of Salzburg in Salzburg Austria. The contributions have been revised and partially extended.  Among the contributors are Akihiro Kanamori Göran Sundholm Ulrich Kohlenbach Charles Parsons Daniel Isaacson and Kenneth Derus. The contributions cover the discussions between Kreisel and Wittgenstein on philosophy of mathematics Kreisel’s Dictum proof theory the discussions between Kreisel and Gödel on philosophy of mathematics some biographical facts and a collection of extracts from Kreisel’s letters.</p>