Welcome to Boeklezers.nl

Boeklezers.nl is a network for social reading. We help readers discover new books and authors, and bring readers in contact with each other and with writers. Read more ».

Sign Up

Books

Ml For The Working Programmer
Ml For The Working Programmer
This textbook explains how to program in the ML language, and teaches the fundamentals of functional programming. This edition includes coverage of modules, ... »
 
 
 
 
 

Isabelle/Hol
Isabelle/Hol
A Proof Assistant for Higher-order Logic »
 
 
 
 
 

Logic And Computation
Logic And Computation
Interactive Proof With Cambridge Lcf »