Logical labyrinths - Smullyan, Raymond M. (A K Peters, 2009)