Principes de logique théorique

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

Cet article est une ébauche concernant la logique. Vous pouvez partager vos connaissances en l’améliorant. (Comment ?).

Les principes de logique théorique est un ouvrage de logique écrit en 1928 par Ackermann et Hilbert. Il s'agit de la première présentation rigoureuse de la logique du premier ordre.

[modifier] Références

• David Hilbert and Wilhelm Ackermann (1928). Grundzüge der theoretischen Logik (Principes de logique théorique). Springer-Verlag, ISBN 0-8218-2024-9. Ce texte a eu quatre édition en allemand, la dernière ayant eu lieu en 1972.

• Portail de la logique

Catégories : Wikipédia:ébauche logique | Œuvre de logique

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

• Cette page a été modifiée pour la dernière fois le 15 février 2008 à 02:45 par Utilisateur DumZiBoT. Basé sur le travail de Utilisateur(s) Eusebius, Pld, Chaoborus, PIerre.Lescanne et Tournesol Tryphon.
• 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 -