Dag Prawitz

Dag Prawitz, né le 16 mai 1936, 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

(en) Dag Prawitz, Natural deduction : A proof-theoretical study, Mineola, New York, Dover Publications, 2006 (1^re éd. 1965), 113 p. (ISBN 978-0-486-44655-4, lire en ligne)

Liens externes

Ressources relatives à la recherche :
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

Cet article est issu de Wikipedia. Le texte est sous licence Creative Commons – Attribution – Partage à l’identique. Des conditions supplémentaires peuvent s’appliquer aux fichiers multimédias.