• 

  MDZ-Reader | Band | Das Beweissystem des Sachsenspiegels / Hänel, Albert | Das Beweissystem des Sachsenspiegels / Hänel, Albert

  http://reader.digitale-sammlungen.de/resolve/display/bsb10554163.html

  Keine Beschreibung vorhanden.

• 

  Beweissysteme und monotone Schaltkreise

  http://www.tcs.informatik.uni-muenchen.de/~jjohanns/projekt.html

  Keine Beschreibung vorhanden.

• 

  Beweissysteme und monotone Schaltkreise

  http://www.tcs.informatik.uni-muenchen.de/~jjohanns/projekt.html#ref15

  Keine Beschreibung vorhanden.

• 

  Deutsche Biographie - Hänel, Albert

  https://www.deutsche-biographie.de/gnd118700200.html#ndbcontent

  Deutsche Biographie

• 

  Gödelscher Unvollständigkeitssatz - Lexikon der Mathematik

  http://www.spektrum.de/lexikon/mathematik/goedelscher-unvollstaendigkeitssatz/3535

  von K. Gödel 1931 angegebener Satz, der intuitiv besagt, daß die Zahlentheorie, die Arithmetik, nicht axiomatisierbar ist. Anders ausgedr&uuml…

• 

  historicum.net: Mauritius, Erich

  http://www.historicum.net/themen/hexenforschung/lexikon/alphabethisch/h-o/art/Mauritius_Eric/html/artikel/5503/ca/db1014527f/

  Keine Beschreibung vorhanden.

• 

  historicum.net: Grave, Gerhard

  http://www.historicum.net/no_cache/persistent/artikel/5645/

  Keine Beschreibung vorhanden.

---

---