Mardigian Library
Ask a QuestionMy Library Account
Search Library Catalog - Books, DVDs & More
Limit to available
More Searches
   
Limit results to available items
Find more results:
Search MelCat
More Information
  
Smullyan, Raymond M
Logical labyrinths / Raymond M. Smullyan
Wellesley, Mass. : A K Peters, c2009
book jacket
Location Call Number Status
 4th Floor  QA9 .S575 2009    AVAILABLE
Subject(s) Logic, Symbolic and mathematical
Mathematical recreations
Puzzles
Physical Description viii, 327 p. : ill. ; 24 cm
Note Includes bibliographical references (p. 321-322) and index
Contents Be wise, generalize! -- The logic of lying and truth-telling -- Male or female? -- Silent knights and knaves -- Mad or sane? -- The difficulties double! -- A unification -- Be wise, symbolize! -- Beginning propositional logic -- Liars, truth-tellers, and propositional logic -- Variable liars -- Logical connectives and variable liars -- The tableau method -- All and some -- Beginning first-order logic -- Infinity -- The nature of infinity -- Mathematical induction -- Generalized induction, Konig's lemma, compactness -- Fundamental results in first-order logic -- Fundamental results in propositional logic -- First-order logic: completeness, compactness, Skolem-Lowenheim theorem -- The regularity theorem -- Axiom systems -- Beginning axiomatics -- More propositional axiomatics -- Axiom systems for first-order logic -- More on first-order logic -- Craig's interpolation lemma -- Robinson's theorem -- Beth's definability theorem -- A unification -- Looking ahead

Mardigian Library, 4901 Evergreen Rd.
Dearborn, MI 48128-1491 313-593-5400 fax 313-593-5561
ask-a-question@umd.umich.edu
The Regents of the University of Michigan | Non-Discrimination Policy
Copyright © The University of Michigan - Dearborn • 4901 Evergreen Road • Dearborn, Michigan 48128 • 313-593-5000
The University of Michigan - Ann Arbor | The University of Michigan - Flint | SITEMAP | DIRECTORY | CONTACT