Raymond Smullyan - Logical Labyrinths (Taylor and Francis, 2008)
Keywords: Foundations & Theorems