Login

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)