Matthias Kaufmann

Bibliography

Kaufmann, Matthias [Matt] and Moore, J. Strother. 2002. “A Computational Logic for Applicative Common LISP.” in A Companion to Philosophical Logic, edited by Dale Jacquette, pp. 724–741. Blackwell Companions to Philosophy. Oxford: Blackwell Publishers, doi:10.1002/9780470996751.