Algorithms in Philosophy, Informatics and Logic. A Position Manifesto 2017
Proving Theorems about LISP Functions