Write a Review

Review the Programming with Higher-Order Logic (Hardcover, New) - Dale