PP-2006-32: Merlijn Sevenster Henkin quantifiers: logic, games, and computation 1.Full Text, 2.Abstract. < Back
