the AMS. 53 (4): 414. Finsler, Paul (1926). "Formale Beweise und die Entscheidbarkeit". Mathematische Zeitschrift. 25: 676–682. doi:10.1007/bf01283861. S2CID 121054124...
92 KB (12,120 words) - 13:48, 13 May 2024
Mathematiker-Vereinigung. 34: 143–154. Finsler, Paul (1926). "Formale Beweise und die Entscheidbarkeit". Mathematische Zeitschrift. 25: 676–682. doi:10.1007/bf01283861. S2CID 121054124...
6 KB (482 words) - 13:14, 16 August 2023