books

Today got a package from Amazon with book The Haskell Road to Logic, Maths and Programming - it's written pretty simple and covers topics about logic, reasoning, and proofs, with examples in Haskell. In parallel i try to make all examples in Common Lisp