Cs Fun Prog


Combinatory Logic (Discrete Mathematics and Its Applications)
Introduction to Functional Programming (Prentice-Hall Series in Engineering of the Physical Sciences)
Paradigms of Artificial Intelligence Programming: Case Studies in Common Lisp
Lambda-Calculus and Combinators: An Introduction
Logic for Learning: Learning Comprehensible Theories from Structured Data
AI Algorithms, Data Structures, and Idioms in Prolog, Lisp, and Java
Modern Compiler Implementation in ML (Volume 0)
Implementing Programming Languages. an Introduction to Compilers and Interpreters (Texts in Computing)
Blank 133x176
Build Your Own Lisp
 
by
Daniel Holden
Good Math: A Geek's Guide to the Beauty of Numbers, Logic, and Computation
R in Action
PROLOG: Programming for Artificial Intelligence
The Haskell Road to Logic, Maths and Programming
Category Theory (Oxford Logic Guides)
Type Theory and Functional Programming (International Computer Science Series)