Brouwer-Heyting-Kolmogorow-Interpretation: Versionsgeschichte

Zur Navigation springen Zur Suche springen

Auswahl des Versionsunterschieds: Markiere die Radiobuttons der zu vergleichenden Versionen und drücke die Eingabetaste oder die Schaltfläche am unteren Rand.
Legende: (Aktuell) = Unterschied zur aktuellen Version, (Vorherige) = Unterschied zur vorherigen Version, K = Kleine Änderung

9. März 2021

  • AktuellVorherige 17:3917:39, 9. Mär. 2021 imported>Tea2min 8.137 Bytes +8.137 →Die Interpretation: Grammatik. (Im englischsprachigen Original heißt es "The interpretation states what is intended to be a proof of a given formula.")
Abgerufen von „https://de.wiki.beta.math.wmflabs.org/wiki/Brouwer-Heyting-Kolmogorow-Interpretation“