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: Boca Raton : CRC Press, ©2010.
Series: Discrete mathematics and its applications.
Edition/Format:   Print book : English : 5th edView all editions and formats
Summary:
"Retaining all the key features of the previous editions, Introduction to Mathematical Logic, Fifth Edition explores the principal topics of mathematical logic. It covers propositional logic, first-order logic, first-order number theory, axiomatic set theory, and the theory of computability. The text also discusses the major results of Godel, Church, Kleene, Rosser, and Turing."--Jacket.
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

Material Type: Internet resource
Document Type: Book, Internet Resource
All Authors / Contributors: Elliott Mendelson
ISBN: 9781584888765 1584888768
OCLC Number: 148589097
Notes: "A Chapman and Hall book."
Description: xxiv, 469 pages : illustrations ; 25 cm.
Contents: The propositional calculus --
First-order logic and model theory --
Formal number theory --
Axiomatic set theory --
Computability --
Appendix A: Second-order logic --
Appendix B: First steps in modal propositional logic.
Series Title: Discrete mathematics and its applications.
Responsibility: Elliott Mendelson.
More information:

Abstract:

Explores the principal topics of mathematical logic. This title covers propositional logic, first-order logic, first-order number theory, axiomatic set theory, and the theory of computability. It  Read more...

Reviews

Editorial reviews

Publisher Synopsis

Since it first appeared in 1964, Mendelson's book has been recognized as an excellent textbook in the field. It is one of the most frequently mentioned texts in references and recommended reading 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


\n\n

Primary Entity<\/h3>\n
<http:\/\/www.worldcat.org\/oclc\/148589097<\/a>> # Introduction to mathematical logic<\/span>\n\u00A0\u00A0\u00A0\u00A0a \nschema:Book<\/a>, schema:CreativeWork<\/a> ;\u00A0\u00A0\u00A0\nlibrary:oclcnum<\/a> \"148589097<\/span>\" ;\u00A0\u00A0\u00A0\nlibrary:placeOfPublication<\/a> <http:\/\/experiment.worldcat.org\/entity\/work\/data\/481876#Place\/boca_raton<\/a>> ; # Boca Raton<\/span>\n\u00A0\u00A0\u00A0\nlibrary:placeOfPublication<\/a> <http:\/\/id.loc.gov\/vocabulary\/countries\/flu<\/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:\/\/dewey.info\/class\/511.3\/e22\/<\/a>> ;\u00A0\u00A0\u00A0\nschema:about<\/a> <http:\/\/id.worldcat.org\/fast\/1002068<\/a>> ; # Logic, Symbolic and mathematical<\/span>\n\u00A0\u00A0\u00A0\nschema:bookEdition<\/a> \"5th ed.<\/span>\" ;\u00A0\u00A0\u00A0\nschema:bookFormat<\/a> bgn:PrintBook<\/a> ;\u00A0\u00A0\u00A0\nschema:copyrightYear<\/a> \"2010<\/span>\" ;\u00A0\u00A0\u00A0\nschema:creator<\/a> <http:\/\/viaf.org\/viaf\/66512007<\/a>> ; # Elliott Mendelson<\/span>\n\u00A0\u00A0\u00A0\nschema:datePublished<\/a> \"2010<\/span>\" ;\u00A0\u00A0\u00A0\nschema:description<\/a> \"The propositional calculus -- First-order logic and model theory -- Formal number theory -- Axiomatic set theory -- Computability -- Appendix A: Second-order logic -- Appendix B: First steps in modal propositional logic.<\/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\/discrete_mathematics_and_its_applications<\/a>> ; # Discrete mathematics and its applications.<\/span>\n\u00A0\u00A0\u00A0\nschema:name<\/a> \"Introduction to mathematical logic<\/span>\"@en<\/a> ;\u00A0\u00A0\u00A0\nschema:productID<\/a> \"148589097<\/span>\" ;\u00A0\u00A0\u00A0\nschema:publication<\/a> <http:\/\/www.worldcat.org\/title\/-\/oclc\/148589097#PublicationEvent\/boca_raton_crc_press_2010<\/a>> ;\u00A0\u00A0\u00A0\nschema:publisher<\/a> <http:\/\/experiment.worldcat.org\/entity\/work\/data\/481876#Agent\/crc_press<\/a>> ; # CRC Press<\/span>\n\u00A0\u00A0\u00A0\nschema:reviews<\/a> <http:\/\/www.worldcat.org\/title\/-\/oclc\/148589097#Review\/-1344230381<\/a>> ;\u00A0\u00A0\u00A0\nschema:url<\/a> <http:\/\/bvbr.bib-bvb.de:8991\/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=017753949&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA<\/a>> ;\u00A0\u00A0\u00A0\nschema:workExample<\/a> <http:\/\/worldcat.org\/isbn\/9781584888765<\/a>> ;\u00A0\u00A0\u00A0\nwdrs:describedby<\/a> <http:\/\/www.worldcat.org\/title\/-\/oclc\/148589097<\/a>> ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n\n

Related Entities<\/h3>\n
<http:\/\/dewey.info\/class\/511.3\/e22\/<\/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\/crc_press<\/a>> # CRC Press<\/span>\n\u00A0\u00A0\u00A0\u00A0a \nbgn:Agent<\/a> ;\u00A0\u00A0\u00A0\nschema:name<\/a> \"CRC Press<\/span>\" ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/experiment.worldcat.org\/entity\/work\/data\/481876#Place\/boca_raton<\/a>> # Boca Raton<\/span>\n\u00A0\u00A0\u00A0\u00A0a \nschema:Place<\/a> ;\u00A0\u00A0\u00A0\nschema:name<\/a> \"Boca Raton<\/span>\" ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/experiment.worldcat.org\/entity\/work\/data\/481876#Series\/discrete_mathematics_and_its_applications<\/a>> # Discrete mathematics and its applications.<\/span>\n\u00A0\u00A0\u00A0\u00A0a \nbgn:PublicationSeries<\/a> ;\u00A0\u00A0\u00A0\nschema:hasPart<\/a> <http:\/\/www.worldcat.org\/oclc\/148589097<\/a>> ; # Introduction to mathematical logic<\/span>\n\u00A0\u00A0\u00A0\nschema:name<\/a> \"Discrete mathematics and its applications.<\/span>\" ;\u00A0\u00A0\u00A0\nschema:name<\/a> \"Discrete mathematics and its applications<\/span>\" ;\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\/flu<\/a>>\u00A0\u00A0\u00A0\u00A0a \nschema:Place<\/a> ;\u00A0\u00A0\u00A0\ndcterms:identifier<\/a> \"flu<\/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\/9781584888765<\/a>>\u00A0\u00A0\u00A0\u00A0a \nschema:ProductModel<\/a> ;\u00A0\u00A0\u00A0\nschema:isbn<\/a> \"1584888768<\/span>\" ;\u00A0\u00A0\u00A0\nschema:isbn<\/a> \"9781584888765<\/span>\" ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/www.worldcat.org\/title\/-\/oclc\/148589097<\/a>>\u00A0\u00A0\u00A0\u00A0a \ngenont:InformationResource<\/a>, genont:ContentTypeGenericResource<\/a> ;\u00A0\u00A0\u00A0\nschema:about<\/a> <http:\/\/www.worldcat.org\/oclc\/148589097<\/a>> ; # Introduction to mathematical logic<\/span>\n\u00A0\u00A0\u00A0\nschema:dateModified<\/a> \"2019-11-18<\/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\/148589097#PublicationEvent\/boca_raton_crc_press_2010<\/a>>\u00A0\u00A0\u00A0\u00A0a \nschema:PublicationEvent<\/a> ;\u00A0\u00A0\u00A0\nschema:location<\/a> <http:\/\/experiment.worldcat.org\/entity\/work\/data\/481876#Place\/boca_raton<\/a>> ; # Boca Raton<\/span>\n\u00A0\u00A0\u00A0\nschema:organizer<\/a> <http:\/\/experiment.worldcat.org\/entity\/work\/data\/481876#Agent\/crc_press<\/a>> ; # CRC Press<\/span>\n\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/www.worldcat.org\/title\/-\/oclc\/148589097#Review\/-1344230381<\/a>>\u00A0\u00A0\u00A0\u00A0a \nschema:Review<\/a> ;\u00A0\u00A0\u00A0\nschema:itemReviewed<\/a> <http:\/\/www.worldcat.org\/oclc\/148589097<\/a>> ; # Introduction to mathematical logic<\/span>\n\u00A0\u00A0\u00A0\nschema:reviewBody<\/a> \"\"Retaining all the key features of the previous editions, Introduction to Mathematical Logic, Fifth Edition explores the principal topics of mathematical logic. It covers propositional logic, first-order logic, first-order number theory, axiomatic set theory, and the theory of computability. The text also discusses the major results of Godel, Church, Kleene, Rosser, and Turing.\"--Jacket.<\/span>\" ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n\n

Content-negotiable representations<\/p>\n