Free Variables and Theories: Revisiting Rigid E -Unification? Peter Backeman and Philipp R¨ ummer Uppsala University, Sweden

First Page		Document Content
Date: 2015-10-30 07:54:04		Free Variables and Theories: Revisiting Rigid E -Unification? Peter Backeman and Philipp R¨ ummer Uppsala University, Sweden Add to Reading List Source URL: www.philipp.ruemmer.org Download Document from Source Website File Size: 355,43 KB Share Document on Facebook