AxC ==> LEM
e+pi, e-pi
Weitere Kate-Moss-Quelle
Literatur für philosophische Rechtfertigung konstruktiver Logik
Quelle für Coq