Lisp Function Programming for the First Time reading notes
A Textbook of the LISP Language as an Explanation of Functional Programming
Textbook
The Seasoned Schemer
A sequel to the textbook on functional languages with Schema, a derivative of LISP used for artificial intelligence (AI) tasks.
The Little Schemer
A textbook on functional languages in Schema, a derivative of LISP used for AI tasks (recursion and anonymous functions, lambda functions, Y-combinators and a simple interpreter).
Creating Logic, Part I: Beginning Logic Reading Notes
A textbook of logic for artificial intelligence and basic mathematics (from propositional logic to predicate logic, and then semantics and multi-valued logic, intuitionistic logic)