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
| Potts, D. H. , Axioms for Semi-Lattices |
| Pour-El, Marian Boykan, Abstract Computability and its Relaton to the General-Purpose Analog Compuer |
| Pour-El, Marian Boykan, Analog Generability with Respect to a Given Set of Input Functions |
| Pour-El, Marian Boykan, Independent Axiomatization and its Relation to the Hypersimple Set |
| Pour-El, Marian Boykan, "Recursive Isomorphism" of Formal Theories |
| Pour-El, Marian Boykan ; Richards, Ian, A Computable Ordinary Differential Equation Which Possesses no Computable Solution |
| Pour-El, Marian Boykan ; Richards, Ian, Computability and Noncomputability in Classical Analysis |
| Pour-El, Marian Boykan ; Richards, Ian, Computability for Linear Operators an their Eigenvalues |
| Pour-El, Marian Boykan ; Richards, Ian, The Wave Equation with Computable Initial Data such that its Unique Solution is not Computable |
| Powell, William C., Set Theory with Predication (1972) |