TY - BOOK AU - Smullyan, Raymond M. TI - Logical labyrinths U1 - 511.3 PY - 2009/// CY - Massachusetts PB - A K Peters KW - Logic, Symbol and mathematical KW - Mathematical recreations KW - Puzzels ER -