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

Introduction to mathematical logic

Author: Elliott Mendelson
Publisher: Monterey, Calif. : Wadsworth & Brooks/Cole Advanced Books & Software, ©1987.
Series: Wadsworth & Brooks/Cole mathematics series.
Edition/Format:   Print book : English : 3rd edView all editions and formats
Database:WorldCat
Summary:

This classic in the field is a compact introduction to some of the basic topics of mathematical logic. This edition contains many new examples and the notation has been updated throughout.

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

Additional Physical Format: Online version:
Mendelson, Elliott.
Introduction to mathematical logic.
Monterey, Calif. : Wadsworth & Brooks/Cole Advanced Books & Software, ©1987
(OCoLC)624499217
Document Type: Book
All Authors / Contributors: Elliott Mendelson
ISBN: 0534066240 9780534066246
OCLC Number: 13580200
Description: ix, 341 pages ; 24 cm.
Contents: Introduction. The propositional calculus. Quantification theory. Formal number theory. Axiomatic set theory. Effective computability. Bibliography. Answers. Notation. Index.
Series Title: Wadsworth & Brooks/Cole mathematics series.
Responsibility: Elliott Mendelson.

Reviews

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/13580200> # Introduction to mathematical logic
    a schema:CreativeWork, schema:Book ;
    library:oclcnum "13580200" ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/481876#Place/monterey_calif> ; # Monterey, Calif.
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/cau> ;
    schema:about <http://id.worldcat.org/fast/1002068> ; # Logic, Symbolic and mathematical
    schema:about <http://experiment.worldcat.org/entity/work/data/481876#Topic/theorie_nombre> ; # théorie nombre
    schema:about <http://experiment.worldcat.org/entity/work/data/481876#Topic/calculabilite> ; # calculabilité
    schema:about <http://experiment.worldcat.org/entity/work/data/481876#Topic/quantification> ; # quantification
    schema:about <http://experiment.worldcat.org/entity/work/data/481876#Topic/logique_mathematique> ; # logique mathématique
    schema:about <http://experiment.worldcat.org/entity/work/data/481876#Topic/calcul_propositionnel> ; # calcul propositionnel
    schema:about <http://dewey.info/class/511.3/e19/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/481876#Topic/theorie_quantique> ; # théorie quantique
    schema:about <http://experiment.worldcat.org/entity/work/data/481876#Topic/theorie_ensemble> ; # théorie ensemble
    schema:about <http://experiment.worldcat.org/entity/work/data/481876#Topic/mathematische_logik> ; # Mathematische Logik
    schema:about <http://experiment.worldcat.org/entity/work/data/481876#Topic/axiomatique> ; # axiomatique
    schema:about <http://experiment.worldcat.org/entity/work/data/481876#Topic/logique_symbolique_et_mathematique> ; # Logique symbolique et mathématique
    schema:bookEdition "3rd ed." ;
    schema:bookFormat bgn:PrintBook ;
    schema:copyrightYear "1987" ;
    schema:creator <http://viaf.org/viaf/66512007> ; # Elliott Mendelson
    schema:datePublished "1987" ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/481876> ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/481876#Series/the_wadsworth_&_brooks_cole_mathematics_series> ; # The Wadsworth & Brooks/Cole mathematics series
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/481876#Series/wadsworth_&_brooks_cole_mathematics_series> ; # Wadsworth & Brooks/Cole mathematics series.
    schema:isSimilarTo <http://www.worldcat.org/oclc/624499217> ;
    schema:name "Introduction to mathematical logic"@en ;
    schema:productID "13580200" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/13580200#PublicationEvent/monterey_calif_wadsworth_&_brooks_cole_advanced_books_&_software_1987> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/481876#Agent/wadsworth_&_brooks_cole_advanced_books_&_software> ; # Wadsworth & Brooks/Cole Advanced Books & Software
    schema:workExample <http://worldcat.org/isbn/9780534066246> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/13580200> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/481876#Agent/wadsworth_&_brooks_cole_advanced_books_&_software> # Wadsworth & Brooks/Cole Advanced Books & Software
    a bgn:Agent ;
    schema:name "Wadsworth & Brooks/Cole Advanced Books & Software" ;
    .

<http://experiment.worldcat.org/entity/work/data/481876#Place/monterey_calif> # Monterey, Calif.
    a schema:Place ;
    schema:name "Monterey, Calif." ;
    .

<http://experiment.worldcat.org/entity/work/data/481876#Series/the_wadsworth_&_brooks_cole_mathematics_series> # The Wadsworth & Brooks/Cole mathematics series
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/13580200> ; # Introduction to mathematical logic
    schema:name "The Wadsworth & Brooks/Cole mathematics series" ;
    .

<http://experiment.worldcat.org/entity/work/data/481876#Series/wadsworth_&_brooks_cole_mathematics_series> # Wadsworth & Brooks/Cole mathematics series.
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/13580200> ; # Introduction to mathematical logic
    schema:name "Wadsworth & Brooks/Cole mathematics series." ;
    .

<http://experiment.worldcat.org/entity/work/data/481876#Topic/calcul_propositionnel> # calcul propositionnel
    a schema:Intangible ;
    schema:name "calcul propositionnel"@en ;
    .

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

<http://experiment.worldcat.org/entity/work/data/481876#Topic/logique_symbolique_et_mathematique> # Logique symbolique et mathématique
    a schema:Intangible ;
    schema:name "Logique symbolique et mathématique"@en ;
    schema:name "Logique symbolique et mathématique"@fr ;
    .

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

<http://experiment.worldcat.org/entity/work/data/481876#Topic/theorie_ensemble> # théorie ensemble
    a schema:Intangible ;
    schema:name "théorie ensemble"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/481876#Topic/theorie_nombre> # théorie nombre
    a schema:Intangible ;
    schema:name "théorie nombre"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/481876#Topic/theorie_quantique> # théorie quantique
    a schema:Intangible ;
    schema:name "théorie quantique"@en ;
    .

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

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

<http://worldcat.org/isbn/9780534066246>
    a schema:ProductModel ;
    schema:isbn "0534066240" ;
    schema:isbn "9780534066246" ;
    .

<http://www.worldcat.org/oclc/624499217>
    a schema:CreativeWork ;
    rdfs:label "Introduction to mathematical logic." ;
    schema:description "Online version:" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/13580200> ; # Introduction to mathematical logic
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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