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

• Page Web de Prawitz

• Portail de la logique

Catégories : Mathématicien | Mathématicien suédois | Logicien | Naissance en 1936

Views

• Article
• Discussion
• Version actuelle

Navigation

• Accueil
• Portails thématiques
• Index alphabétique
• Un article au hasard
• Contacter Wikipédia

Contribuer

• Aide
• Communauté
• Modifications récentes
• Accueil des nouveaux arrivants
• Faire un don

Rechercher

Autres langues

• English
• Svenska

• 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

aa - ab - af - ak - als - am - an - ang - ar - arc - as - ast - av - ay - az - ba - bar - bat_smg - bcl - be - be_x_old - bg - bh - bi - bm - bn - bo - bpy - br - bs - bug - bxr - ca - cbk_zam - cdo - ce - ceb - ch - cho - chr - chy - co - cr - crh - cs - csb - cu - cv - cy - da - de - diq - dsb - dv - dz - ee - el - eml - en - eo - es - et - eu - ext - fa - ff - fi - fiu_vro - fj - fo - fr - frp - fur - fy - ga - gan - gd - gl - glk - gn - got - gu - gv - ha - hak - haw - he - hi - hif - ho - hr - hsb - ht - hu - hy - hz - ia - id - ie - ig - ii - ik - ilo - io - is - it - iu - ja - jbo - jv - ka - kaa - kab - kg - ki - kj - kk - kl - km - kn - ko - kr - ks - ksh - ku - kv - kw - ky - la - lad - lb - lbe - lg - li - lij - lmo - ln - lo - lt - lv - map_bms - mdf - mg - mh - mi - mk - ml - mn - mo - mr - mt - mus - my - myv - mzn - na - nah - nap - nds - nds_nl - ne - new - ng - nl - nn - no - nov - nrm - nv - ny - oc - om - or - os - pa - pag - pam - pap - pdc - pi - pih - pl - pms - ps - pt - qu - quality - rm - rmy - rn - ro - roa_rup - roa_tara - ru - rw - sa - sah - sc - scn - sco - sd - se - sg - sh - si - simple - sk - sl - sm - sn - so - sr - srn - ss - st - stq - su - sv - sw - szl - ta - te - tet - tg - th - ti - tk - tl - tlh - tn - to - tpi - tr - ts - tt - tum - tw - ty - udm - ug - uk - ur - uz - ve - vec - vi - vls - vo - wa - war - wo - wuu - xal - xh - yi - yo - za - zea - zh - zh_classical - zh_min_nan - zh_yue - zu -