Dag Prawitz
Dag Prawitz, né le , est un philosophe et logicien suédois. Il est surtout connu pour ses travaux en théorie de la démonstration et en déduction naturelle.
Dag Prawitz
Naissance | |
---|---|
Nationalité | |
Formation | |
Activités |
A travaillé pour | |
---|---|
Membre de |
Académie norvégienne des sciences et des lettres Académie royale des sciences de Suède Académie royale suédoise des belles-lettres, d'histoire et des antiquités Academia Europaea () Prix Schock de logique et philosophie (d) () |
Dir. de thèse |
Anders Wedberg (d) |
Bibliographie
- (en) Dag Prawitz, Natural deduction : A proof-theoretical study, Mineola, New York, Dover Publications, (1re éd. 1965), 113 p. (ISBN 978-0-486-44655-4, lire en ligne)
Liens externes
- Ressources relatives à la recherche :
- Notices d'autorité :
- Fichier d’autorité international virtuel
- International Standard Name Identifier
- CiNii
- Bibliothèque nationale de France (données)
- Système universitaire de documentation
- Bibliothèque du Congrès
- Gemeinsame Normdatei
- Bibliothèque royale des Pays-Bas
- Bibliothèque nationale d’Israël
- Bibliothèque universitaire de Pologne
- Bibliothèque nationale de Suède
- Réseau des bibliothèques de Suisse occidentale
- Base de bibliothèque norvégienne
- WorldCat
- Page Web de Prawitz
- Portail de la logique
- Portail de la Suède
Cet article est issu de Wikipedia. Le texte est sous licence Creative Commons - Attribution - Partage dans les Mêmes. Des conditions supplémentaires peuvent s'appliquer aux fichiers multimédias.