Redigerer Thoralf Skolem (avsnitt)

== Skolems verker ==
* ''Untersuchungen über die Axiome des Klassenkalküls und über die Produktations- und Summationsprobleme, welche gewissen Klassen von Aussagen betreffen'', 1919
* ''Logisch-kombinatorische Untersuchungen über die Erfüllbarkeit und Beweisbarkeit mathematischer Sätze nebst einem Theorem über dichte Mengen'', 1920
* {{Kilde bok| forfatter = Skolem, Th.  | utgivelsesår = 1921 | tittel = Untersuchungen über die möglichen Verteilungen ganzzahlinger Lösungen gewisser Gleichungen | utgivelsessted = Kristiania | forlag = I kommission hos Dybwad | url = http://urn.nb.no/URN:NBN:no-nb_digibok_2006120401117 | side = }}
* ''Einige Bemerkungen zur axiomatischen Begründung der Mengenlehre'', 1922-1923
* ''Begründung der elementaren Arithmetik durch die rekurrierende Denkweise ohne Anwendung scheinbarer Veränderlicher mit unendlichem Ausdehnungsbereich'', 1923
* ''Über einige Grundlagenfragen der Mathematik'', 1929
* ''Über die Grundlagendiskussion in der Mathematik'', 1929-1930
* ''Über einige Satzfunktionen in der Arithmetik'', 1930-1931
* ''Den matematiske logikk og aritmetikken'', 1931
* ''Über die Unmöglichkeit einer vollständigen Charakterisierung der Zahlenreihe mittels eines endlichen Axiomensystems'', 1933
* ''Undersøkelser over potensrester og over logisk karakterisering av tallrekken'', 1933
* ''Über die Nicht-Charakterisierbarkeit der Zahlenreihe mittels eines endlich oder abzählbar unendlich vieler Aussagen mit ausschließlich Zahlenvariablen'', 1934
* ''En metode til behandling av ubestemte ligninger'', 1934
* ''Über die Erfüllbarkeit gewisser Zählausdrücke'', 1935
* ''Über die Zurückführbarkeit einiger durch Rekursionen definierten Relationen auf 'arithmetische' '', 1936-1937
* ''Ubestemte lineære ligninger og ligningssystemer'', 1937
* ''Sur la porteé de Löwenheim-Skolem'', 1938
* ''Polynomers aritmetiske egenskaper'', 1938
* ''Einige Bemerkungen über die Induktionsschemata in der rekursiven Zahlentheorie'', 1939
* ''Some remarks on recursive arithmetic'', 1944
* {{Kilde bok| forfatter = Skolem, Th. | utgivelsesår = 1947 | tittel = Tallteori: referat av professor Skolems forelesninger våren 1947 | utgivelsessted = Oslo | forlag = Skrivemaskinstua, UiO, Mat.Inst. | url = http://urn.nb.no/URN:NBN:no-nb_digibok_2012072509078 | side = }}
* ''Consideraciones sobre los fundamentos de la matematica'', 1952
* [https://projecteuclid.org/euclid.ndml/1175197470 ''Abstract set theory''], 1962.  Forelesningsserie ved [[University of Notre Dame]] som Skolem holdt 1957–58
* Selected Works in Logic, 1970. Universitetsforlaget, Oslo. Dette er en nesten fullstendig antologi redigert av Jens Erik Fenstad, med en lengre innledning av Hao Wang.