Logical labyrinths [electronic resource] / Raymond M. Smullyan.
By: Smullyan, Raymond M.
Material type: BookPublisher: Wellesley, Mass. : A.K. Peters, c2009Description: viii, 327 p. : ill.ISBN: 9781439865378 (ebook : PDF).Subject(s): Logic, Symbolic and mathematical | Mathematical recreations | PuzzlesGenre/Form: Electronic books.Additional physical formats: No title; No titleOnline resources: Distributed by publisher. Purchase or institutional license may be required for access. Also available in print edition.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.
Mode of access: World Wide Web.
There are no comments for this item.