Dag Prawitz
Un article de Wikipédia, l'encyclopédie libre.
Dag Prawitz (né en 1936) est un philosophe et un logicien suédois. Il est surtout connus pour ses travaux en théorie de la démonstration et en déduction naturelle.
[modifier] Liens externes
Portail de la logique – Accédez aux articles de Wikipédia concernant la logique. |