Dag Prawitz
Dag Prawitz
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
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