"Mathematics as information compression via the matching and unification of ..."

J. Gerard Wolff (2018)
a service of Schloss Dagstuhl - Leibniz Center for Informatics