TY  - BOOK
AU  - Smullyan,Raymond M.
TI  - Logical labyrinths
SN  - 9781439865378 (ebook : PDF)
PY  - 2009///
CY  - Wellesley, Mass.
PB  - A.K. Peters
KW  - Logic, Symbolic and mathematical
KW  - Mathematical recreations
KW  - Puzzles
KW  - Electronic books
KW  - lcsh
N1  - Includes bibliographical references (p. 321-322) and index; 1. Be wise, generalize! -- 2. Be wise, symbolize! -- 3. Infinity -- 4. Fundamental results in first-order logic -- 5. Axiom systems -- 6. More on first-order logic; Also available in print edition
UR  - http://marc.crcnetbase.com/isbn/9781439865378
ER  -