Schreiber, L. & Sommer, H. (2009). Can Mathematics be justified by Natural Logic?. In D. M. Dubois (ed.),
Computing Anticipatory Systems
(p./pp. 189-198), .