Beweise und Programme : Anmerkungen zu Heytings Formalisierung der intuitionistischen Logik / Helmut Schwichtenberg
Veröffentlicht in: | [BuA, 8].(2000) S. 71 - 96 |
---|---|
VerfasserIn: | Schwichtenberg, Helmut (VerfasserIn) |
Format: | Aufsatz in Zeitschrift |
Sprache: | German |
Ähnliche Datensätze: | In:
[BuA, 8].(2000) |
Ähnliche Einträge
-
Zwingende Beweise : zur subversiven Despotie der Mathematik
von: Nickel, Gregor -
Wunder, Beweise und Tatsachen : zur Geschichte der Rationalität
von: Daston, Lorraine
Veröffentlicht: (2001) -
Wahrheit und Beweisbarkeit : Heytings formale Regeln der intuitionistischen Logik und ihre philosophische Bedeutung
von: Gethmann, Carl Friedrich -
Methoden und Programme
Veröffentlicht: (2016) -
Neubeginn als Programm
von: Esselborn, Karl