Logical labyrinths
Smullyan, Raymond M.
Logical labyrinths [electronic resource] / Raymond M. Smullyan. - Wellesley, Mass. : A.K. Peters, c2009. - viii, 327 p. : ill.
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.
Mode of access: World Wide Web.
9781439865378 (ebook : PDF)
Logic, Symbolic and mathematical.
Mathematical recreations.
Puzzles.
Electronic books.
Logical labyrinths [electronic resource] / Raymond M. Smullyan. - Wellesley, Mass. : A.K. Peters, c2009. - viii, 327 p. : ill.
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.
Mode of access: World Wide Web.
9781439865378 (ebook : PDF)
Logic, Symbolic and mathematical.
Mathematical recreations.
Puzzles.
Electronic books.