Sign In
The Haskell road to logic, math and programming (2004)
Books
in
logic
Visit on fldit-www.cs.uni-dortmund.de
Recommended
Courses and MOOCs
Tinkering Fundamentals: Motion and Mechanisms
www.coursera.org
