skip to content
Covid-19 virus
COVID-19 Resources

Reliable information about the coronavirus (COVID-19) is available from the World Health Organization (current situation, international travel). Numerous and frequently-updated resource results are available from this WorldCat.org search. OCLC’s WebJunction has pulled together information and resources to assist library staff as they consider how to handle coronavirus issues in their communities.

Image provided by: CDC/ Alissa Eckert, MS; Dan Higgins, MAM
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
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: The propositional calculus --
Quantification theory --
Formal number theory --
Axiomatic set theory --
Effective computability.
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


\n\n

Primary Entity<\/h3>\n
<http:\/\/www.worldcat.org\/oclc\/13580200<\/a>> # Introduction to mathematical logic<\/span>\n\u00A0\u00A0\u00A0\u00A0a \nschema:CreativeWork<\/a>, schema:Book<\/a> ;\u00A0\u00A0\u00A0\nlibrary:oclcnum<\/a> \"13580200<\/span>\" ;\u00A0\u00A0\u00A0\nlibrary:placeOfPublication<\/a> <http:\/\/experiment.worldcat.org\/entity\/work\/data\/481876#Place\/monterey_calif<\/a>> ; # Monterey, Calif.<\/span>\n\u00A0\u00A0\u00A0\nlibrary:placeOfPublication<\/a> <http:\/\/id.loc.gov\/vocabulary\/countries\/cau<\/a>> ;\u00A0\u00A0\u00A0\nschema:about<\/a> <http:\/\/id.worldcat.org\/fast\/1002068<\/a>> ; # Logic, Symbolic and mathematical<\/span>\n\u00A0\u00A0\u00A0\nschema:about<\/a> <http:\/\/dewey.info\/class\/511.3\/e19\/<\/a>> ;\u00A0\u00A0\u00A0\nschema:about<\/a> <http:\/\/experiment.worldcat.org\/entity\/work\/data\/481876#Topic\/mathematische_logik<\/a>> ; # Mathematische Logik<\/span>\n\u00A0\u00A0\u00A0\nschema:about<\/a> <http:\/\/experiment.worldcat.org\/entity\/work\/data\/481876#Topic\/logique_symbolique_et_mathematique<\/a>> ; # Logique symbolique et math\u00E9matique<\/span>\n\u00A0\u00A0\u00A0\nschema:bookEdition<\/a> \"3rd ed.<\/span>\" ;\u00A0\u00A0\u00A0\nschema:bookFormat<\/a> bgn:PrintBook<\/a> ;\u00A0\u00A0\u00A0\nschema:copyrightYear<\/a> \"1987<\/span>\" ;\u00A0\u00A0\u00A0\nschema:creator<\/a> <http:\/\/viaf.org\/viaf\/66512007<\/a>> ; # Elliott Mendelson<\/span>\n\u00A0\u00A0\u00A0\nschema:datePublished<\/a> \"1987<\/span>\" ;\u00A0\u00A0\u00A0\nschema:description<\/a> \"The propositional calculus -- Quantification theory -- Formal number theory -- Axiomatic set theory -- Effective computability.<\/span>\"@en<\/a> ;\u00A0\u00A0\u00A0\nschema:exampleOfWork<\/a> <http:\/\/worldcat.org\/entity\/work\/id\/481876<\/a>> ;\u00A0\u00A0\u00A0\nschema:inLanguage<\/a> \"en<\/span>\" ;\u00A0\u00A0\u00A0\nschema:isPartOf<\/a> <http:\/\/experiment.worldcat.org\/entity\/work\/data\/481876#Series\/the_wadsworth_&_brooks_cole_mathematics_series<\/a>> ; # The Wadsworth & Brooks\/Cole mathematics series<\/span>\n\u00A0\u00A0\u00A0\nschema:isPartOf<\/a> <http:\/\/experiment.worldcat.org\/entity\/work\/data\/481876#Series\/wadsworth_&_brooks_cole_mathematics_series<\/a>> ; # Wadsworth & Brooks\/Cole mathematics series.<\/span>\n\u00A0\u00A0\u00A0\nschema:isSimilarTo<\/a> <http:\/\/www.worldcat.org\/oclc\/624499217<\/a>> ;\u00A0\u00A0\u00A0\nschema:name<\/a> \"Introduction to mathematical logic<\/span>\"@en<\/a> ;\u00A0\u00A0\u00A0\nschema:productID<\/a> \"13580200<\/span>\" ;\u00A0\u00A0\u00A0\nschema:publication<\/a> <http:\/\/www.worldcat.org\/title\/-\/oclc\/13580200#PublicationEvent\/monterey_calif_wadsworth_&_brooks_cole_advanced_books_&_software_1987<\/a>> ;\u00A0\u00A0\u00A0\nschema:publisher<\/a> <http:\/\/experiment.worldcat.org\/entity\/work\/data\/481876#Agent\/wadsworth_&_brooks_cole_advanced_books_&_software<\/a>> ; # Wadsworth & Brooks\/Cole Advanced Books & Software<\/span>\n\u00A0\u00A0\u00A0\nschema:workExample<\/a> <http:\/\/worldcat.org\/isbn\/9780534066246<\/a>> ;\u00A0\u00A0\u00A0\nwdrs:describedby<\/a> <http:\/\/www.worldcat.org\/title\/-\/oclc\/13580200<\/a>> ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n\n

Related Entities<\/h3>\n
<http:\/\/dewey.info\/class\/511.3\/e19\/<\/a>>\u00A0\u00A0\u00A0\u00A0a \nschema:Intangible<\/a> ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/experiment.worldcat.org\/entity\/work\/data\/481876#Agent\/wadsworth_&_brooks_cole_advanced_books_&_software<\/a>> # Wadsworth & Brooks\/Cole Advanced Books & Software<\/span>\n\u00A0\u00A0\u00A0\u00A0a \nbgn:Agent<\/a> ;\u00A0\u00A0\u00A0\nschema:name<\/a> \"Wadsworth & Brooks\/Cole Advanced Books & Software<\/span>\" ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/experiment.worldcat.org\/entity\/work\/data\/481876#Place\/monterey_calif<\/a>> # Monterey, Calif.<\/span>\n\u00A0\u00A0\u00A0\u00A0a \nschema:Place<\/a> ;\u00A0\u00A0\u00A0\nschema:name<\/a> \"Monterey, Calif.<\/span>\" ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/experiment.worldcat.org\/entity\/work\/data\/481876#Series\/the_wadsworth_&_brooks_cole_mathematics_series<\/a>> # The Wadsworth & Brooks\/Cole mathematics series<\/span>\n\u00A0\u00A0\u00A0\u00A0a \nbgn:PublicationSeries<\/a> ;\u00A0\u00A0\u00A0\nschema:hasPart<\/a> <http:\/\/www.worldcat.org\/oclc\/13580200<\/a>> ; # Introduction to mathematical logic<\/span>\n\u00A0\u00A0\u00A0\nschema:name<\/a> \"The Wadsworth & Brooks\/Cole mathematics series<\/span>\" ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/experiment.worldcat.org\/entity\/work\/data\/481876#Series\/wadsworth_&_brooks_cole_mathematics_series<\/a>> # Wadsworth & Brooks\/Cole mathematics series.<\/span>\n\u00A0\u00A0\u00A0\u00A0a \nbgn:PublicationSeries<\/a> ;\u00A0\u00A0\u00A0\nschema:hasPart<\/a> <http:\/\/www.worldcat.org\/oclc\/13580200<\/a>> ; # Introduction to mathematical logic<\/span>\n\u00A0\u00A0\u00A0\nschema:name<\/a> \"Wadsworth & Brooks\/Cole mathematics series.<\/span>\" ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/experiment.worldcat.org\/entity\/work\/data\/481876#Topic\/logique_symbolique_et_mathematique<\/a>> # Logique symbolique et math\u00E9matique<\/span>\n\u00A0\u00A0\u00A0\u00A0a \nschema:Intangible<\/a> ;\u00A0\u00A0\u00A0\nschema:name<\/a> \"Logique symbolique et math\u00E9matique<\/span>\"@en<\/a> ;\u00A0\u00A0\u00A0\nschema:name<\/a> \"Logique symbolique et math\u00E9matique<\/span>\"@fr<\/a> ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/experiment.worldcat.org\/entity\/work\/data\/481876#Topic\/mathematische_logik<\/a>> # Mathematische Logik<\/span>\n\u00A0\u00A0\u00A0\u00A0a \nschema:Intangible<\/a> ;\u00A0\u00A0\u00A0\nschema:name<\/a> \"Mathematische Logik<\/span>\"@en<\/a> ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/id.loc.gov\/vocabulary\/countries\/cau<\/a>>\u00A0\u00A0\u00A0\u00A0a \nschema:Place<\/a> ;\u00A0\u00A0\u00A0\ndcterms:identifier<\/a> \"cau<\/span>\" ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/id.worldcat.org\/fast\/1002068<\/a>> # Logic, Symbolic and mathematical<\/span>\n\u00A0\u00A0\u00A0\u00A0a \nschema:Intangible<\/a> ;\u00A0\u00A0\u00A0\nschema:name<\/a> \"Logic, Symbolic and mathematical<\/span>\"@en<\/a> ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/viaf.org\/viaf\/66512007<\/a>> # Elliott Mendelson<\/span>\n\u00A0\u00A0\u00A0\u00A0a \nschema:Person<\/a> ;\u00A0\u00A0\u00A0\nschema:familyName<\/a> \"Mendelson<\/span>\" ;\u00A0\u00A0\u00A0\nschema:givenName<\/a> \"Elliott<\/span>\" ;\u00A0\u00A0\u00A0\nschema:name<\/a> \"Elliott Mendelson<\/span>\" ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/worldcat.org\/isbn\/9780534066246<\/a>>\u00A0\u00A0\u00A0\u00A0a \nschema:ProductModel<\/a> ;\u00A0\u00A0\u00A0\nschema:isbn<\/a> \"0534066240<\/span>\" ;\u00A0\u00A0\u00A0\nschema:isbn<\/a> \"9780534066246<\/span>\" ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/www.worldcat.org\/oclc\/624499217<\/a>>\u00A0\u00A0\u00A0\u00A0a \nschema:CreativeWork<\/a> ;\u00A0\u00A0\u00A0\nrdfs:label<\/a> \"Introduction to mathematical logic.<\/span>\" ;\u00A0\u00A0\u00A0\nschema:description<\/a> \"Online version:<\/span>\" ;\u00A0\u00A0\u00A0\nschema:isSimilarTo<\/a> <http:\/\/www.worldcat.org\/oclc\/13580200<\/a>> ; # Introduction to mathematical logic<\/span>\n\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/www.worldcat.org\/title\/-\/oclc\/13580200<\/a>>\u00A0\u00A0\u00A0\u00A0a \ngenont:InformationResource<\/a>, genont:ContentTypeGenericResource<\/a> ;\u00A0\u00A0\u00A0\nschema:about<\/a> <http:\/\/www.worldcat.org\/oclc\/13580200<\/a>> ; # Introduction to mathematical logic<\/span>\n\u00A0\u00A0\u00A0\nschema:dateModified<\/a> \"2019-04-02<\/span>\" ;\u00A0\u00A0\u00A0\nvoid:inDataset<\/a> <http:\/\/purl.oclc.org\/dataset\/WorldCat<\/a>> ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/www.worldcat.org\/title\/-\/oclc\/13580200#PublicationEvent\/monterey_calif_wadsworth_&_brooks_cole_advanced_books_&_software_1987<\/a>>\u00A0\u00A0\u00A0\u00A0a \nschema:PublicationEvent<\/a> ;\u00A0\u00A0\u00A0\nschema:location<\/a> <http:\/\/experiment.worldcat.org\/entity\/work\/data\/481876#Place\/monterey_calif<\/a>> ; # Monterey, Calif.<\/span>\n\u00A0\u00A0\u00A0\nschema:organizer<\/a> <http:\/\/experiment.worldcat.org\/entity\/work\/data\/481876#Agent\/wadsworth_&_brooks_cole_advanced_books_&_software<\/a>> ; # Wadsworth & Brooks\/Cole Advanced Books & Software<\/span>\n\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n\n

Content-negotiable representations<\/p>\n