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.
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.