Dag Prawitz

From Wikipedia, the free encyclopedia

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.

Faits en bref Naissance, Nationalité ...
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
Fermer

Biographie

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

Related Articles

Wikiwand AI