L'intelligence du calcul
Lisp contient le -calcul (un système logique qui permet de représenter ...... (cond
(#f 1 2) (#t 3 4 5)) ; le premier élément de la première liste étant faux ..... un ordre
indifférencié; Puis l'expression e est évalué, l'interpréteur reconnaît ..... Une
variable propositionnelle sera représentée par le symbole Scheme
correspondant.