A new version of notation introduced by author Haskell Curry, used more recently in computer programming.The interior is clean, bright, and legible. The outside has some wear, with the text on the spine almost completely worn off. The corners are bumped.