Formale Beweise und die Entscheidbarkeit:
Gespeichert in:
Bibliographische Detailangaben
1. Verfasser: Finsler, Paul 1894-1970 (VerfasserIn)
Format: Buch
Sprache:German
Veröffentlicht: Berlin Springer 1926
Ausgabe:Sonderabdr.
Beschreibung:Aus: Mathematische Zeitschrift ; Bd. 25, H. 4
Beschreibung:S. [676] - 682

Es ist kein Print-Exemplar vorhanden.

Fernleihe Bestellen Achtung: Nicht im THWS-Bestand!