A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Display formulas [help]

Pudlák, Pavel, The Observational Predicate Calculus and Complexity of Computations (1975)
Pudlák, Pavel, Symmetric Embedding of Finite Lattices Into Finite Partition Lattices (1979)
Purisch, S., The Orderability of Scattered Space (1985)
Putnam, Hilary, The Analytic and the Synthetic
Putnam, Hilary, Uniqueness Ordinals in Higher Constructive Number Classes (1961)
Putnam, Hilary, Probability and Confirmation (1964)
Putnam, T. M., Residues of Certain Sums of Powers of Integers (1914)
Pyber, L., An Extension of a Frankl-Füredi Theorem (1984)