%0 Conference Paper
%1 SchreiberCAS2009
%A Schreiber, Lothar
%A Sommer, Hanns
%B Computing Anticipatory Systems
%D 2009
%E Dubois, Daniel M.
%J Computing Anticipatory Systems
%K imported isac-www
%P 189-198
%T Can Mathematics be justified by Natural Logic?
%V 1303