Logic, language, formalism, informalism / Daniel Richardson. (1995)
Summary goes here