Untersuchung über die Axiome des Klassenkalküls und über Produktations– und Summationsprobleme, welche gewisse Klassen von Aussagen betreffen. Videnskabsakademiet i Kristiania (1919)

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