"To mock a mockingbird and other logic puzzles: Including an amazing adventure in combinatory logic" - читать интересную книгу автора (Raymond M. Smullyan)