• 

  Mathematik-Olympiade

  https://web.archive.org/web/20170909045111/https://www.mathematik-olympiaden.de/IMOs/fields.html

  Mathematik-Olympiade

• 

  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.

---

---