To mock a mockingbird and other logic puzzles : Including an amazing adventure in combinatory logic - Smullyan, Raymond M. (Oxford parerbacks, 1990)