Dag Prawitz

Un article de Wikipédia, l'encyclopédie libre.

Dag Prawitz (né en 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.

[modifier] Liens externes

Ce document provient de « http://fr.wikipedia.org/wiki/Dag_Prawitz ».
Créer un livre
Autres langues