"Applied Logic without Psychologism."

Gregory R. Wheeler (2008)
a service of Schloss Dagstuhl - Leibniz Center for Informatics