skip to content
A mathematical introduction to logic Preview this item
ClosePreview this item
Checking...

A mathematical introduction to logic

Author: Herbert B Enderton
Publisher: San Diego Harcourt 2007
Edition/Format:   Print book : English : 2. ed., [Nachdr.View all editions and formats
Summary:

Presents material on computer science issues such as computational complexity and database queries, with coverage of introductory material such as sets. This book helps instructors with choices in  Read more...

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: Herbert B Enderton
ISBN: 0122384520 9780122384523
OCLC Number: 553033541
Description: XII, 317 Seiten Diagramme
Contents: USEFUL FACTS ABOUT SETS.SENTENTIAL LOGIC.FIRST-ORDER LOGIC.UNDECIDABILITY.SECOND-ORDER LOGIC.
Responsibility: Herbert B. Enderton
More information:

Reviews

Editorial reviews

Publisher Synopsis

"This is easily the BEST intro logic book ever written.It's the only MATH book on logic out there that is easy to understand and yet formal enough to be considered 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<\/h3>
<http:\/\/www.worldcat.org\/oclc\/553033541<\/a>> # A mathematical introduction to logic<\/span>\u00A0\u00A0\u00A0\u00A0a schema:CreativeWork<\/a>, schema:Book<\/a> ;\u00A0\u00A0\u00A0library:oclcnum<\/a> \"553033541<\/span>\" ;\u00A0\u00A0\u00A0library:placeOfPublication<\/a> <http:\/\/experiment.worldcat.org\/entity\/work\/data\/1444361#Place\/san_diego<\/a>> ; # San Diego<\/span>\u00A0\u00A0\u00A0library:placeOfPublication<\/a> <http:\/\/id.loc.gov\/vocabulary\/countries\/cau<\/a>> ;\u00A0\u00A0\u00A0schema:about<\/a> <http:\/\/dewey.info\/class\/511.3\/<\/a>> ;\u00A0\u00A0\u00A0schema:about<\/a> <http:\/\/experiment.worldcat.org\/entity\/work\/data\/1444361#Topic\/logic_symbolic_and_mathematical<\/a>> ; # Logic, Symbolic and mathematical<\/span>\u00A0\u00A0\u00A0schema:bookEdition<\/a> \"2. ed., [Nachdr.]<\/span>\" ;\u00A0\u00A0\u00A0schema:bookFormat<\/a> bgn:PrintBook<\/a> ;\u00A0\u00A0\u00A0schema:creator<\/a> <http:\/\/viaf.org\/viaf\/225642917<\/a>> ; # Herbert B. Enderton<\/span>\u00A0\u00A0\u00A0schema:datePublished<\/a> \"2007<\/span>\" ;\u00A0\u00A0\u00A0schema:exampleOfWork<\/a> <http:\/\/worldcat.org\/entity\/work\/id\/1444361<\/a>> ;\u00A0\u00A0\u00A0schema:inLanguage<\/a> \"en<\/span>\" ;\u00A0\u00A0\u00A0schema:name<\/a> \"A mathematical introduction to logic<\/span>\" ;\u00A0\u00A0\u00A0schema:productID<\/a> \"553033541<\/span>\" ;\u00A0\u00A0\u00A0schema:publication<\/a> <http:\/\/www.worldcat.org\/title\/-\/oclc\/553033541#PublicationEvent\/san_diegoharcourt2007<\/a>> ;\u00A0\u00A0\u00A0schema:publisher<\/a> <http:\/\/experiment.worldcat.org\/entity\/work\/data\/1444361#Agent\/harcourt<\/a>> ; # Harcourt<\/span>\u00A0\u00A0\u00A0schema:url<\/a> <http:\/\/www.gbv.de\/dms\/goettingen\/329141325.pdf<\/a>> ;\u00A0\u00A0\u00A0schema:workExample<\/a> <http:\/\/worldcat.org\/isbn\/9780122384523<\/a>> ;\u00A0\u00A0\u00A0wdrs:describedby<\/a> <http:\/\/www.worldcat.org\/title\/-\/oclc\/553033541<\/a>> ;\u00A0\u00A0\u00A0\u00A0.<\/div>

Related Entities<\/h3>
<http:\/\/dewey.info\/class\/511.3\/<\/a>>\u00A0\u00A0\u00A0\u00A0a schema:Intangible<\/a> ;\u00A0\u00A0\u00A0\u00A0.<\/div>
<http:\/\/experiment.worldcat.org\/entity\/work\/data\/1444361#Agent\/harcourt<\/a>> # Harcourt<\/span>\u00A0\u00A0\u00A0\u00A0a bgn:Agent<\/a> ;\u00A0\u00A0\u00A0schema:name<\/a> \"Harcourt<\/span>\" ;\u00A0\u00A0\u00A0\u00A0.<\/div>
<http:\/\/experiment.worldcat.org\/entity\/work\/data\/1444361#Place\/san_diego<\/a>> # San Diego<\/span>\u00A0\u00A0\u00A0\u00A0a schema:Place<\/a> ;\u00A0\u00A0\u00A0schema:name<\/a> \"San Diego<\/span>\" ;\u00A0\u00A0\u00A0\u00A0.<\/div>
<http:\/\/experiment.worldcat.org\/entity\/work\/data\/1444361#Topic\/logic_symbolic_and_mathematical<\/a>> # Logic, Symbolic and mathematical<\/span>\u00A0\u00A0\u00A0\u00A0a schema:Intangible<\/a> ;\u00A0\u00A0\u00A0schema:name<\/a> \"Logic, Symbolic and mathematical<\/span>\" ;\u00A0\u00A0\u00A0\u00A0.<\/div>
<http:\/\/id.loc.gov\/vocabulary\/countries\/cau<\/a>>\u00A0\u00A0\u00A0\u00A0a schema:Place<\/a> ;\u00A0\u00A0\u00A0dcterms:identifier<\/a> \"cau<\/span>\" ;\u00A0\u00A0\u00A0\u00A0.<\/div>
<http:\/\/viaf.org\/viaf\/225642917<\/a>> # Herbert B. Enderton<\/span>\u00A0\u00A0\u00A0\u00A0a schema:Person<\/a> ;\u00A0\u00A0\u00A0schema:familyName<\/a> \"Enderton<\/span>\" ;\u00A0\u00A0\u00A0schema:givenName<\/a> \"Herbert B.<\/span>\" ;\u00A0\u00A0\u00A0schema:name<\/a> \"Herbert B. Enderton<\/span>\" ;\u00A0\u00A0\u00A0\u00A0.<\/div>
<http:\/\/worldcat.org\/isbn\/9780122384523<\/a>>\u00A0\u00A0\u00A0\u00A0a schema:ProductModel<\/a> ;\u00A0\u00A0\u00A0schema:isbn<\/a> \"0122384520<\/span>\" ;\u00A0\u00A0\u00A0schema:isbn<\/a> \"9780122384523<\/span>\" ;\u00A0\u00A0\u00A0\u00A0.<\/div>
<http:\/\/www.worldcat.org\/title\/-\/oclc\/553033541<\/a>>\u00A0\u00A0\u00A0\u00A0a genont:InformationResource<\/a>, genont:ContentTypeGenericResource<\/a> ;\u00A0\u00A0\u00A0schema:about<\/a> <http:\/\/www.worldcat.org\/oclc\/553033541<\/a>> ; # A mathematical introduction to logic<\/span>\u00A0\u00A0\u00A0schema:dateModified<\/a> \"2018-11-10<\/span>\" ;\u00A0\u00A0\u00A0void:inDataset<\/a> <http:\/\/purl.oclc.org\/dataset\/WorldCat<\/a>> ;\u00A0\u00A0\u00A0\u00A0.<\/div>