Dag Prawitz

Dag Prawitz
une illustration sous licence libre serait bienvenue
Biographie
Naissance
Voir et modifier les données sur Wikidata
StockholmVoir et modifier les données sur Wikidata
Nationalité
Formation
Activités
Mathématicien, philosophe, professeur d'universitéVoir et modifier les données sur Wikidata
Autres informations
A travaillé pour
Membre de
Directeur de thèse
Anders Wedberg (d)Voir et modifier les données sur Wikidata

modifier - modifier le code - modifier WikidataDocumentation du modèle

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 rechercheVoir et modifier les données sur Wikidata :
    • Digital Bibliography & Library Project
    • Dimensions
    • Mathematics Genealogy Project
  • Notice dans un dictionnaire ou une encyclopédie généralisteVoir et modifier les données sur Wikidata :
    • Nationalencyklopedin
  • Notices d'autoritéVoir et modifier les données sur Wikidata :
    • 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
v · m
Lauréats du prix Schock
Logique et philosophie
Mathématiques
Arts visuels
Arts musicaux
  • icône décorative Portail de la logique
  • icône décorative Portail de la Suède