Vier Farben und ein Problemfall : über die philosophischen Implikationen computerunterstützter Beweise im Allgemeinen und des Vier-Farben-Theorems im Speziellen für den mathematischen [...] / vorgelegt von Gabriel Ranz. 2013
Inhalt