Schreiber, Lothar and Sommer, Hanns. "Can Mathematics be justified by Natural Logic?." Paper presented at the meeting of the Computing Anticipatory Systems, 2009.