Man denkt nicht zweimal mit dem selben Kopf.

Typelogic :: Hgl-Kalkül(Typelogic NT) (Läuft nicht unter NT(Icons NT))