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
| Prawitz, D., On the Proof Theory of Mathematical Analysis |
| Prawitz, D., Some Results for Intuitionistic Logic with Second Order Quantification Rules |
| Prawitz, Dag, The Philosophical Position of Proof Theory (1972) |
| Prawitz, D. ; Malmnäs, Per-Erik, A Survey of Some Connections Between Classical, Intuitionistic, and Minimal Logic |
| Prawitz, D. ; Prawitz, Håkan ; Voghera, Neri, A Mechanical Proof Procedure and its Realization in an Electronic Computer (1959) |
| Preller, A., Algebres et Espaces de Boole (1966) |
| Preller, Anne, Sur le Probleme Universel (Liberte) des Algebres de Boole et des Espaces de Boole par Rapport aux Ensembles (1966) |
| Preller, Anne, Une Categorie Duale de la Categorie des Anneaux Idempotents (1966) |
| Preller, Anne, La Categorie des Algebres Quantifiees (1967) |
| Preller, Anne, Logique Algebrique Infinitaire (1968) |