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
| Powell, William C., Logic Seminar: An Extension of Church's Thesis (1979) |
| Powell, William C., Abstracts of Intuitionistic Set Theory (1981) |
| Powell, William C., A Completeness Theorem for Zermelo-Fraenkel Set Theory |
| Powell, William C., Extending Gödel's Negative Interpretation to ZF |
| Powell, William C., Variations of Keisler's Theorem for Complete Embeddings |
| Power, A. J., For NP-Complete Embedding Problems (1981) |
| Pozsgay, Lawrence, Liberal Intuitionism as a Basis for Set Theory |
| Prawitz, D., Advances and Problems in Mechanical Proof Procedures (1967) |
| Prawitz, D., The Philosophical Position of Proof Theory (1972) |
| Prawitz, D., Proofs and the Meaning and Completeness of the Logical Constants (1978) |