Dans les années 1930, Herbrand avait posé les conditions de validité d'une démonstration automatique. En 1953, Quine donnait une règle d'inférence originale ; définie pour l'ordre O, elle présentait ...

Découvrez l'ensemble du programme tv des chaînes françaises, pour le soir et en journée. TNT, Canal+, Canalsat, SFR, Free, Orange et bien d'autres pour profiter de l'offre télé la plus large possible.