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.
- Cette page a été modifiée pour la dernière fois le 14 juin 2007 à 08:41 par Utilisateur Chicobot. Basé sur le travail de Utilisateur(s) MirgolthBot, Tournesol Tryphon, RobotQuistnix, David Legrand, Dake et PIerre.Lescanne.
- Droit d'auteur : Tous les textes sont disponibles sous les termes de la licence de documentation libre GNU (GFDL).
Wikipedia® est une marque déposée de la Wikimedia Foundation, Inc., organisation de bienfaisance régie par le paragraphe 501(c)(3) du code fiscal des États-Unis. - À propos de Wikipédia
- Avertissements