Jump to content

Search results

  • Thumbnail for Gerhard Gentzen
    Logik und zur Grundlegung der Exakten Wissenschaften. 4: 19–44. 1938. "Beweisbarkeit und Unbeweisbarkeit von Anfangsfällen der transfiniten Induktion in...
    12 KB (1,038 words) - 10:24, 17 November 2024
  • "Logisch-kombinatorische Untersuchungen über die Erfüllbarkeit oder Beweisbarkeit mathematischer Sätze nebst einem Theoreme über dichte Mengen", Videnskapsselskapet...
    22 KB (2,795 words) - 12:03, 4 October 2024
  • "Logisch-kombinatorische Untersuchungen über die Erfüllbarkeit oder Beweisbarkeit mathematischer Sätze nebst einem Theoreme über dichte Mengen". Videnskapsselskapet...
    69 KB (8,343 words) - 01:23, 24 December 2024