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

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)