Logical labyrinths [electronic resource] / Raymond M. Smullyan.
Material type: TextPublication details: Wellesley, Mass. : A.K. Peters, c2009.Description: viii, 327 p. : illISBN:- 9781439865378 (ebook : PDF)
- 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 on this title.