One of this man's books provides the reader with an introduction to combinatory logic in which combina- tors are depicted as birds that repeat songs; that book is To Mock a Mockingbird.
A philosophical dialogue by this man begins with a man praying to God to absolve him of free will and is called  Is God a Taoist?  One of this man's books provides the reader with an introduction to combinatory logic in which combina- tors are depicted as birds that repeat songs; that book is To Mock a Mockingbird. This man's Forever Undecided contains   conundrums centered around unde- cidability, and his Satan, Cantor, and In nity focuses on set-theoretic concepts of in nity. For ten points, identify this logician, many of whose works, including What is the Name of This Book?, are collections of logic puzzles.
A philosophical dialogue by this man begins with a man praying to God to absolve him of free will and is called  
Raymond Merrill Smullyan