Theorem Proving in a Russian Room and in Haskell

by Sven Eric Panitz