Logical labyrinths. (©2009)

• Record Type: Book
• Further Information: Note: Raymond M. Smullyan.
• Other Names: Smullyan, Raymond M
• Contents: Be wise, generalize! The logic of lying and truthtelling -- 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.
• Publisher Details: Wellesley, Mass : A K Peters
• Publication Date: 2009
• Copyright Date: 2009
• Extent: 1 online resource (viii, 327 pages), illustrations
• Subjects: 511.3 S666; Logic, Symbolic and mathematical; Mathematical recreations; Puzzles; Logic, Symbolic and mathematical; Mathematical recreations; Puzzles; MATHEMATICS -- General; Logic, Symbolic and mathematical; Mathematical recreations; Puzzles; Electronic books
• Languages: English
• ISBNs: 9781439865378
• Related ISBNs: 143986537X; 9781568814438; 1568814437
• Notes: Note: Includes bibliographical references (page 321322) and index.; Note: Print version record.
• Access Rights: Legal Deposit; Only available on premises controlled by the deposit library and to one user at any one time; The Legal Deposit Libraries (Non-Print Works) Regulations (UK).
• Access Usage: Restricted: Printing from this resource is governed by The Legal Deposit Libraries (Non-Print Works) Regulations (UK) and UK copyright law currently in force.