Formale Beweise und die Entscheidbarkeit

• 1 December 1926
• journal article
• research article
• Published by Springer Nature in Mathematische Zeitschrift
• Vol. 25  (1) , 676-682
• https://doi.org/10.1007/bf01283861

Abstract