Logisch-kombinatorische Untersuchungen über die Erfüllbarkeit oder Beweisbarkeit Mathematischer Sätze nebst einem Theoreme über Dichte Mengen.
Skolem, Thoralf Albert.
Kristiania, 
1920.