PP-2004-01: Johan van Benthem Minimal Predicates, Fixed Points, and Definability 1.Full Text, 2.Abstract. < Back
