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) |