Logisch-kombinatorische Untersuchungen uber die Erfullbarkeit und Beweisbarkeit mathematischer Satze, nebst einem Theoreme uber dichte (1920)

by T Skolem