Dag Prawitz
Dag Prawitz
![une illustration sous licence libre serait bienvenue](http://upload.wikimedia.org/wikipedia/commons/thumb/f/f7/Defaut_2.svg/langfr-260px-Defaut_2.svg.png)
Naissance | ![]() Stockholm ![]() |
---|---|
Nationalité | |
Formation | |
Activités | Mathématicien, philosophe, professeur d'université ![]() |
A travaillé pour | |
---|---|
Membre de | Academia Europaea () Prix Schock de logique et philosophie (d) () Académie royale suédoise des belles-lettres, d'histoire et des antiquités Académie royale des sciences de Suède Académie norvégienne des sciences et des lettres ![]() |
Directeur de thèse | Anders Wedberg (d) ![]() |
modifier - modifier le code - modifier Wikidata
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.
Biographie
![](http://upload.wikimedia.org/wikipedia/commons/thumb/8/87/Fairytale_warning.png/17px-Fairytale_warning.png)
Cette section est vide, insuffisamment détaillée ou incomplète. Votre aide est la bienvenue ! Comment faire ?
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
:
- Digital Bibliography & Library Project
- Dimensions
- Mathematics Genealogy Project
- Notice dans un dictionnaire ou une encyclopédie généraliste
:
- Nationalencyklopedin
- Notices d'autorité
:
- VIAF
- ISNI
- BnF (données)
- IdRef
- LCCN
- GND
- CiNii
- Belgique
- Pays-Bas
- Israël
- NUKAT
- Suède
- Norvège
- Tchéquie
- WorldCat
- Page Web de Prawitz
Portail de la logique
Portail de la Suède