Thus AM was actually not walking around in … Its primitives were functions that modified LISP predicates, … applied to short LISP code for characteristic functions, … It is thanks to the natural relationship between … that common math functions can be stated so …
Google-1
Google-2
Copyright clearance needed for quotation.