Phillips, N. C. K., On the Axiom of Choice (1966) Phillips, N. C. K., Anything You Can Prove, I Can Prove Better Phillips, N. C. K., A Survey of the P = NP Question and Recent Independence Results Phillips, Robert G., Bibliography for Robert G. Phillips (1974) Picard, Claude, Sur la Demonstration Automatique (1963) Picard, Emile, On the Development of Mathematical Analysis and its Relation to Certain Other Sciences (1905) Pigozzi, Don, Remarks on a Theorem (1970) Pigozzi, Don Leonard, Amalgamation and Interpolation Properties of Cylindric Algebras (1969) Pigozzi, Don Leonard, Amalgamation and Interpolation Properties of Cylindric Algebras (1969) Pigrau, Juan, Definable Forcing and Regularity Properties of Projective Sets of Reals (1991)