Logical Foundations of Functional Programming (Ut Year of Programming Series) - Hardcover

 
9780201172348: Logical Foundations of Functional Programming (Ut Year of Programming Series)