ISSN 0025-5831. S2CID 122312654. Ackermann, Wilhelm (1 December 1928). "Über die Erfüllbarkeit gewisser Zählausdrücke". Mathematische Annalen (in German). 100 (1):...
19 KB (2,636 words) - 09:57, 1 October 2024
Skolem, Thoralf (1920), "Logisch-kombinatorische Untersuchungen über die Erfüllbarkeit oder Beweisbarkeit mathematischer Sätze nebst einem Theoreme über dichte...
22 KB (2,795 words) - 12:03, 4 October 2024
Skolem, Thoralf (1920). "Logisch-kombinatorische Untersuchungen über die Erfüllbarkeit oder Beweisbarkeit mathematischer Sätze nebst einem Theoreme über dichte...
68 KB (8,330 words) - 00:46, 4 November 2024