Dag Prawitz
Apparence
Dag Prawitz
| Naissance | |
|---|---|
| Nationalité | |
| Formation | |
| Activités |
| A travaillé pour | |
|---|---|
| Membre de | |
| Directeur de thèse |
Anders Wedberg (d) |
| Distinction |
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
[modifier | modifier le code]Bibliographie
[modifier | modifier le code]- (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
[modifier | modifier le code]
- Ressources relatives à la recherche :
- Notices dans des dictionnaires ou encyclopédies généralistes :
- Page Web de Prawitz