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 ...

Trouvez un titre diffusé à l'antenne ou retrouvez les références d'un morceau! La programmation musicale de certaines émissions ou plages horaires ne peut pas être consultée et des inexactitudes sont ...