The eskolemization of universal quantifiers Rosalie Iemhoff∗ September 19, 2010 Abstract This paper is a sequel to the papers [4, 6] in which an alternative skolemization method called eskolemization was introduced tha - Sequel - Document - PDFSEARCH.IO

First Page	Meta Content
	The eskolemization of universal quantifiers Rosalie Iemhoff∗ September 19, 2010 Abstract This paper is a sequel to the papers [4, 6] in which an alternative skolemization method called eskolemization was introduced tha Add to Reading List Document Date: 2010-09-19 14:26:24 Open Document File Size: 238,63 KB Share Result on Facebook

The eskolemization of universal quantifiers Rosalie Iemhoff∗ September 19, 2010 Abstract This paper is a sequel to the papers [4, 6] in which an alternative skolemization method called eskolemization was introduced thaAdd to Reading List