skip to content
Introduction to mathematical logic Preview this item
ClosePreview this item
Checking...

Introduction to mathematical logic

Author: Elliott Mendelson
Publisher: Boca Raton : Chapman & Hall/CRC, 2001.
Edition/Format:   Print book : English : 4th ed., 1st CRC-Press reprintView all editions and formats
Summary:

Covering the basic topics of a solid first course in mathematical logic, this book includes an appendix on second-order logic, a section on set theory with urlements, and a section on the logic that  Read more...

Rating:

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

Subjects
More like this

Find a copy in the library

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

Details

Document Type: Book
All Authors / Contributors: Elliott Mendelson
ISBN: 9780412808302 0412808307
OCLC Number: 718438594
Description: 440 p
Contents: The Propositional CalculusPropositional Connectives. Truth TablesTautologiesAdequate Sets of ConnectivesAn Axiom System for the Propositional CalculusIndependence: Many-Valued LogicsOther AxiomatizationsQuantification TheoryQuantifiersFirst-Order Languages and Their InterpretationsFirst-Order TheoriesProperties of First-Order TheoriesAdditional Metatheorems and Derived RulesRule CCompleteness TheoremsFirst-Order Theories with EqualityDefinitions of New Function Letters and Individual ConstantsPrenex Normal FormsIsomorphism of Interpretations. Categoricity of TheoriesGeneralized First-Order Theories. Completeness and DecidabilityElementary Equivalence. Elementary ExtensionsUltrapowers. Non-Standard AnalysisSemantic TreesQuantification Theory Allowing Empty DomainsFormal Number TheoryAn Axiom SystemNumber-Theoretic Functions and RelationsPrimitive Recursive and Recursive FunctionsArithmatization. Goedel NumbersThe Fixed Point Theorem. Goedel's Incompleteness TheoremRecursive Undecidability. Church's TheoremAxiomatic Set TheoryAn Axiom SystemOrdinal NumbersEquinumerousity. Finite and Denumerable Sets.Hartog's Theorem. Initial Ordinals. Ordinal ArithmeticThe Axiom of Choice. The Axiom of RegularityOther Axiomatizations of Set TheoryComputabilityAlgorithms. Turing MachinesDiagramsPartial Recursive Functions. Unsolvable Problems.The Kleene-Mosotovski Hierarchy. Recursively Enumerable SetsOther notions of ComputabilityDecision Problems
Responsibility: Elliott Mendelson.

Reviews

Editorial reviews

Publisher Synopsis

"Nearly forty years after it was published (1964), Elliot Mendelson's Introduction to Mathematical Logic still remains the best textbook on the principle topics of this subjectI have used Mendelson's Read more...

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

Tags

Be the first.

Similar Items

Related Subjects:(1)

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/718438594> # Introduction to mathematical logic
    a schema:Book, schema:CreativeWork ;
   library:oclcnum "718438594" ;
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/flu> ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/481876#Place/boca_raton> ; # Boca Raton
   schema:about <http://experiment.worldcat.org/entity/work/data/481876#Topic/logique_mathematique> ; # logique mathématique
   schema:bookEdition "4th ed., 1st CRC-Press reprint." ;
   schema:bookFormat bgn:PrintBook ;
   schema:creator <http://viaf.org/viaf/66512007> ; # Elliott Mendelson
   schema:datePublished "2001" ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/481876> ;
   schema:inLanguage "en" ;
   schema:name "Introduction to mathematical logic" ;
   schema:productID "718438594" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/718438594#PublicationEvent/boca_raton_chapman_&_hall_crc_2001> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/481876#Agent/chapman_&_hall_crc> ; # Chapman & Hall/CRC
   schema:workExample <http://worldcat.org/isbn/9780412808302> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/718438594> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/481876#Agent/chapman_&_hall_crc> # Chapman & Hall/CRC
    a bgn:Agent ;
   schema:name "Chapman & Hall/CRC" ;
    .

<http://experiment.worldcat.org/entity/work/data/481876#Topic/logique_mathematique> # logique mathématique
    a schema:Intangible ;
   schema:name "logique mathématique" ;
    .

<http://viaf.org/viaf/66512007> # Elliott Mendelson
    a schema:Person ;
   schema:familyName "Mendelson" ;
   schema:givenName "Elliott" ;
   schema:name "Elliott Mendelson" ;
    .

<http://worldcat.org/isbn/9780412808302>
    a schema:ProductModel ;
   schema:isbn "0412808307" ;
   schema:isbn "9780412808302" ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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