Spottdrosseln und Metavögel To mock a mockingbird and other logic puzzles including an amazing adventure in combinatory logic - Smullyan, Raymond (Krüger, 1986)