Nøyaktig tittel er ikke angitt for alle. Noen få av disse er publisert i Nordic Journal of Philosophical Logic som siden 1995 har vært utgit av Universitetet i Oslo. 1987 Dag Prawitz (1936–) fra Stockholms universitet 1988 Robin Gandy (1919–95) fra Oxford University 1989 Solomon Feferman (1928–2016) fra Stanford University 1990 Robert Boyer 1991 Burton Dreben (1927–99) fra Harvard University 1992 Jean-Yves Girard (1947–) fra Universitetet i Paris 1993 Skolem and Gødel Hao Wang (1921–95) fra Rockefeller University 1994 av Grigori Mints (1939–2014) fra Stanford University 1995 av Charles Parsons (1933–) fra Harvard University 1996 Per Martin-Löf (1942–) fra Stockholms universitet 1997 Dana Scott (1932–) fra Carnegie Mellon University 1998 Helmut Schwichtenberg (1942–) fra Ludwig-Maximilians-Universität München 1999 Peter Gärdenfors 2000 Krister Segerberg 2001 Saul Kripke 2002 Paul Cohen 2004 Timothy Williamson (1955–) fra University of Oxford 2005 Thierry Coquand (1961–) fra Göteborgs universitet 2006 Göran Sundholm fra Universitetet i Leiden 2007 Stan S. Wainer fra University of Leeds 2010 William Tait (1929–) fra University of Chicago 2011 Jan von Plato (1951–) fra Helsingfors universitet 2013 Truth-conditional ContentOn relating strong type theories and set theoriesComputing with numbers and other non-syntactic things: knowing whichUnivalence, Invariance, and IntensionalityThe Birth of Binary: Leibniz and the Origins of Computer ArithmeticUntersuchungen über die Axiome des Klassenkalküls und über die Produktations- und Summationsprobleme, welche gewissen Klassen von Aussagen betreffenLogisch-kombinatorische Untersuchungen über die Erfüllbarkeit und Beweisbarkeit mathematischer Sätze nebst einem Theorem über dichte MengenEinige Bemerkungen zur axiomatischen Begründung der MengenlehreBegründung der elementaren Arithmetik durch die rekurrierende Denkweise ohne Anwendung scheinbarer Veränderlicher mit unendlichem AusdehnungsbereichÜber einige Grundlagenfragen der MathematikÜber die Grundlagendiskussion in der MathematikÜber einige Satzfunktionen in der ArithmetikDen matematiske logikk og aritmetikkenÜber die Unmöglichkeit einer vollständigen Charakterisierung der Zahlenreihe mittels eines endlichen AxiomensystemsUndersøkelser over potensrester og over logisk karakterisering av tallrekkenÜber die Nicht-Charakterisierbarkeit der Zahlenreihe mittels eines endlich oder abzählbar unendlich vieler Aussagen mit ausschließlich ZahlenvariablenEn metode til behandling av ubestemte ligningerÜber die Erfüllbarkeit gewisser ZählausdrückeÜber die Zurückführbarkeit einiger durch Rekursionen definierten Relationen auf 'arithmetische' Ubestemte lineære ligninger og ligningssystemerSur la porteé de Löwenheim-SkolemPolynomers aritmetiske egenskaperEinige Bemerkungen über die Induktionsschemata in der rekursiven ZahlentheorieSome remarks on recursive arithmeticConsideraciones sobre los fundamentos de la matematicaNordic Journal of Philosophical Logic 1Norsk matematikk – stolte tradisjoner''. Gunnerusforelesning i Det Kongelig Norske Videnskabers Selskab.