Dag Prawitz

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.

Dag Prawitz
Biographie
Naissance
Nationalité
Formation
Activités
Autres informations
A travaillé pour
Membre de
Dir. de thèse
Anders Wedberg (d)

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

  • Portail de la logique
  • Portail de la Suède
Cet article est issu de Wikipedia. Le texte est sous licence Creative Commons - Attribution - Partage dans les Mêmes. Des conditions supplémentaires peuvent s'appliquer aux fichiers multimédias.