Aller au contenu

Dag Prawitz

Un article de Wikipédia, l'encyclopédie libre.
Dag Prawitz
une illustration sous licence libre serait bienvenue
Biographie
Naissance
Voir et modifier les données sur Wikidata (89 ans)
StockholmVoir et modifier les données sur Wikidata
Nationalité
Formation
Activités
Autres informations
A travaillé pour
Membre de
Directeur de thèse
Anders Wedberg (d)Voir et modifier les données sur Wikidata
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.

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]