The eskolemization of universal quantifiers (2009)

by Rosalie Iemhoff