Referenzen zu SIA
Weitere Beispiele für Ableitungen
Beispiele für unformalisierbare Gedanken
URLs zu allen legal verfügbaren Quellen
Abschnitt über Garbenmodelle
typo
Quelle für Curry-Howard
Weitere Referenzen zu Hilberts Programm
Furchtlose Anwendung von Ringtheorie!
Verkörperung des generischen Primideals