skip to content
Logical labyrinths Preview this item
ClosePreview this item
Checking...

Logical labyrinths

Author: Raymond M Smullyan
Publisher: Wellesley, Mass. : A K Peters, ©2009.
Edition/Format:   Print book : EnglishView all editions and formats
Summary:
This book features a unique approach to the teaching of mathematical logic by putting it in the context of the puzzles and paradoxes of common language and rational thought. It serves as a bridge from the autho's puzzle books to his technical writing in the fascinating field of mathematical logic. --from publisher description.
Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

Find a copy online

Links to this item

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Genre/Form: Aufgabensammlung
Puzzles and games
0 Gesamtdarstellung
Material Type: Internet resource
Document Type: Book, Internet Resource
All Authors / Contributors: Raymond M Smullyan
ISBN: 9781568814438 1568814437
OCLC Number: 252920882
Description: viii, 327 pages : illustrations ; 24 cm
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.
Responsibility: Raymond M. Smullyan.
More information:

Abstract:

Features an approach to the teaching of mathematical logic by putting it in the context of the puzzles and paradoxes of common language and rational thought. Using the logic of lying and  Read more...

Reviews

Editorial reviews

Publisher Synopsis

With the various bridge courses springing around campuses, this book could be used for a first glimpse into mathematical logic. The author has reached a delicate balance between simple fun with the Read more...

 
User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/252920882> # Logical labyrinths
    a schema:Book, schema:CreativeWork ;
   library:oclcnum "252920882" ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/147620715#Place/wellesley_mass> ; # Wellesley, Mass.
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/mau> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/147620715#Topic/logic_symbolic_and_mathematical> ; # Logic, Symbolic and mathematical
   schema:about <http://id.worldcat.org/fast/1084492> ; # Puzzles
   schema:about <http://experiment.worldcat.org/entity/work/data/147620715#Topic/puzzles> ; # Puzzles
   schema:about <http://id.worldcat.org/fast/1002068> ; # Logic, Symbolic and mathematical
   schema:about <http://experiment.worldcat.org/entity/work/data/147620715#Topic/ratsel_mathematische_logik> ; # Rätsel--Mathematische Logik
   schema:about <http://experiment.worldcat.org/entity/work/data/147620715#Topic/mathematical_recreations> ; # Mathematical recreations
   schema:about <http://id.worldcat.org/fast/1012120> ; # Mathematical recreations
   schema:about <http://experiment.worldcat.org/entity/work/data/147620715#Topic/mathematische_logik_ratsel> ; # Mathematische Logik--Rätsel
   schema:about <http://experiment.worldcat.org/entity/work/data/147620715#Topic/mathematische_logik> ; # Mathematische Logik
   schema:about <http://dewey.info/class/511.3/e22/> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/147620715#Topic/labyrinth_mathematische_logik> ; # Labyrinth--Mathematische Logik
   schema:about <http://experiment.worldcat.org/entity/work/data/147620715#Topic/mathematische_logik_labyrinth> ; # Mathematische Logik--Labyrinth
   schema:bookFormat bgn:PrintBook ;
   schema:copyrightYear "2009" ;
   schema:creator <http://viaf.org/viaf/108832636> ; # Raymond M. Smullyan
   schema:datePublished "2009" ;
   schema:description "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."@en ;
   schema:description "This book features a unique approach to the teaching of mathematical logic by putting it in the context of the puzzles and paradoxes of common language and rational thought. It serves as a bridge from the autho's puzzle books to his technical writing in the fascinating field of mathematical logic. --from publisher description."@en ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/147620715> ;
   schema:genre "Aufgabensammlung"@en ;
   schema:genre "Puzzles and games"@en ;
   schema:inLanguage "en" ;
   schema:isSimilarTo <http://worldcat.org/entity/work/data/147620715#CreativeWork/> ;
   schema:name "Logical labyrinths"@en ;
   schema:productID "252920882" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/252920882#PublicationEvent/wellesley_mass_a_k_peters_2009> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/147620715#Agent/a_k_peters> ; # A K Peters
   schema:url <http://www.crcnetbase.com/ISBN/978-1-56881-443-8> ;
   schema:url <http://www.crcnetbase.com/isbn/9781439865378> ;
   schema:url <http://catdir.loc.gov/catdir/toc/fy0904/2008039863.html> ;
   schema:workExample <http://worldcat.org/isbn/9781568814438> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/252920882> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/147620715#Place/wellesley_mass> # Wellesley, Mass.
    a schema:Place ;
   schema:name "Wellesley, Mass." ;
    .

<http://experiment.worldcat.org/entity/work/data/147620715#Topic/labyrinth_mathematische_logik> # Labyrinth--Mathematische Logik
    a schema:Intangible ;
   schema:name "Labyrinth--Mathematische Logik"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/147620715#Topic/logic_symbolic_and_mathematical> # Logic, Symbolic and mathematical
    a schema:Intangible ;
   schema:name "Logic, Symbolic and mathematical"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/147620715#Topic/mathematical_recreations> # Mathematical recreations
    a schema:Intangible ;
   schema:name "Mathematical recreations"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/147620715#Topic/mathematische_logik> # Mathematische Logik
    a schema:Intangible ;
   schema:name "Mathematische Logik"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/147620715#Topic/mathematische_logik_labyrinth> # Mathematische Logik--Labyrinth
    a schema:Intangible ;
   schema:name "Mathematische Logik--Labyrinth"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/147620715#Topic/mathematische_logik_ratsel> # Mathematische Logik--Rätsel
    a schema:Intangible ;
   schema:name "Mathematische Logik--Rätsel"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/147620715#Topic/ratsel_mathematische_logik> # Rätsel--Mathematische Logik
    a schema:Intangible ;
   schema:name "Rätsel--Mathematische Logik"@en ;
    .

<http://id.worldcat.org/fast/1002068> # Logic, Symbolic and mathematical
    a schema:Intangible ;
   schema:name "Logic, Symbolic and mathematical"@en ;
    .

<http://id.worldcat.org/fast/1012120> # Mathematical recreations
    a schema:Intangible ;
   schema:name "Mathematical recreations"@en ;
    .

<http://id.worldcat.org/fast/1084492> # Puzzles
    a schema:Intangible ;
   schema:name "Puzzles"@en ;
    .

<http://viaf.org/viaf/108832636> # Raymond M. Smullyan
    a schema:Person ;
   schema:familyName "Smullyan" ;
   schema:givenName "Raymond M." ;
   schema:name "Raymond M. Smullyan" ;
    .

<http://worldcat.org/isbn/9781568814438>
    a schema:ProductModel ;
   schema:isbn "1568814437" ;
   schema:isbn "9781568814438" ;
    .

<http://www.crcnetbase.com/ISBN/978-1-56881-443-8>
   rdfs:comment "View this book online, via CRCNetBase, both on- and off-campus (please use Desktop Anywhere for off-campus access)" ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.