Logisch-kombinatorische Untersuchungen über die Erfüllbarkeit und Beweisbarkeit mathematischen Sätze nebst einem Theorem über dichte Mengen. Videnskabsakademiet i Kristiania (1920)

by Skolem
Venue:Also in “Th. Skolem, Selected Works in Logic