Untersuchungen über die Axiome des Klassenkalkuls und über Produktations- und Summationsprobleme, welche gewisse Klassen von Aussagen betreffen.
Skolem, Thoralf Albert.
Kristiania, 
1919.