skip to content
Logic for Applications Preview this item
ClosePreview this item
Checking...

Logic for Applications

Author: Anil Nerode; R A Shore
Publisher: New York, NY : Springer New York, 1997.
Series: Graduate texts in computer science.
Edition/Format:   eBook : Document : English : Second editionView all editions and formats
Summary:
This textbook provides a first introduction to mathematical logic which is closely attuned to the applications of logic in computer science. In it the authors emphasize the notion that deduction is a form of computation. Whilst all the traditional subjects of logic are covered thoroughly: syntax, semantics, completeness, and compactness; much of the book deals with less traditional topics such as resolution theorem  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

Genre/Form: Electronic books
Additional Physical Format: Print version:
Material Type: Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Anil Nerode; R A Shore
ISBN: 9781461206491 1461206499
OCLC Number: 853259089
Description: 1 online resource (xiii, 456 pages).
Contents: Propositional logic --
Predicate logic --
PROLOG --
Modal logic --
Intuitionistic logic --
Elements of set theory --
Appendices.
Series Title: Graduate texts in computer science.
Responsibility: by Anil Nerode, Richard A. Shore.

Abstract:

In writing this book, our goal was to produce a text suitable for a first course in mathematical logic more attuned than the traditional textbooks to the re- cent dramatic growth in the applications  Read more...

Reviews

Editorial reviews

Publisher Synopsis

From reviews of the first edition: "... must surely rank as one of the most fruitful textbooks introduced into computer science ... We strongly suggest it as a textbook ..." SIGACT NewsFrom the 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


Primary Entity

<http://www.worldcat.org/oclc/853259089> # Logic for Applications
    a schema:Book, schema:MediaObject, schema:CreativeWork ;
   library:oclcnum "853259089" ;
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/nyu> ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/30724807#Place/new_york_ny> ; # New York, NY
   schema:about <http://id.worldcat.org/fast/1002045> ; # Logic design
   schema:about <http://id.worldcat.org/fast/817247> ; # Artificial intelligence
   schema:about <http://id.worldcat.org/fast/872451> ; # Computer science
   schema:about <http://dewey.info/class/005.1015113/e23/> ;
   schema:about <http://id.worldcat.org/fast/1002068> ; # Logic, Symbolic and mathematical
   schema:bookEdition "Second edition." ;
   schema:bookFormat schema:EBook ;
   schema:contributor <http://viaf.org/viaf/2139716> ; # Richard A. Shore
   schema:creator <http://viaf.org/viaf/56701872> ; # Anil Nerode
   schema:datePublished "1997" ;
   schema:description "This textbook provides a first introduction to mathematical logic which is closely attuned to the applications of logic in computer science. In it the authors emphasize the notion that deduction is a form of computation. Whilst all the traditional subjects of logic are covered thoroughly: syntax, semantics, completeness, and compactness; much of the book deals with less traditional topics such as resolution theorem proving, logic programming and non-classical logics - modal and intuitionistic - which are becoming increasingly important in computer science. No previous exposure to logic is assumed and so this will be suitable for upper level undergraduates or beginning graduate students in computer science or mathematics. From reviews of the first edition: " ... must surely rank as one of the most fruitful textbooks introduced into computer science ... We strongly suggest it as a textbook ..." SIGACT News."@en ;
   schema:description "Propositional logic -- Predicate logic -- PROLOG -- Modal logic -- Intuitionistic logic -- Elements of set theory -- Appendices."@en ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/30724807> ;
   schema:genre "Electronic books"@en ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/30724807#Series/graduate_texts_in_computer_science> ; # Graduate texts in computer science.
   schema:isPartOf <http://worldcat.org/issn/1868-0941> ; # Graduate Texts in Computer Science,
   schema:isSimilarTo <http://worldcat.org/entity/work/data/30724807#CreativeWork/> ;
   schema:name "Logic for Applications"@en ;
   schema:productID "853259089" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/853259089#PublicationEvent/new_york_ny_springer_new_york_1997> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/30724807#Agent/springer_new_york> ; # Springer New York
   schema:url <http://link.springer.com/10.1007/978-1-4612-0649-1> ;
   schema:url <https://link.springer.com/openurl?genre=book&isbn=978-0-387-94893-5> ;
   schema:url <http://dx.doi.org/10.1007/978-1-4612-0649-1> ;
   schema:workExample <http://dx.doi.org/10.1007/978-1-4612-0649-1> ;
   schema:workExample <http://worldcat.org/isbn/9781461206491> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/853259089> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/30724807#Agent/springer_new_york> # Springer New York
    a bgn:Agent ;
   schema:name "Springer New York" ;
    .

<http://experiment.worldcat.org/entity/work/data/30724807#Series/graduate_texts_in_computer_science> # Graduate texts in computer science.
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/853259089> ; # Logic for Applications
   schema:name "Graduate texts in computer science." ;
    .

<http://id.worldcat.org/fast/1002045> # Logic design
    a schema:Intangible ;
   schema:name "Logic design"@en ;
    .

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

<http://id.worldcat.org/fast/817247> # Artificial intelligence
    a schema:Intangible ;
   schema:name "Artificial intelligence"@en ;
    .

<http://id.worldcat.org/fast/872451> # Computer science
    a schema:Intangible ;
   schema:name "Computer science"@en ;
    .

<http://link.springer.com/10.1007/978-1-4612-0649-1>
   rdfs:comment "from Springer" ;
   rdfs:comment "(Unlimited Concurrent Users)" ;
    .

<http://viaf.org/viaf/2139716> # Richard A. Shore
    a schema:Person ;
   schema:familyName "Shore" ;
   schema:givenName "Richard A." ;
   schema:givenName "R. A." ;
   schema:name "Richard A. Shore" ;
    .

<http://viaf.org/viaf/56701872> # Anil Nerode
    a schema:Person ;
   schema:familyName "Nerode" ;
   schema:givenName "Anil" ;
   schema:name "Anil Nerode" ;
    .

<http://worldcat.org/isbn/9781461206491>
    a schema:ProductModel ;
   schema:isbn "1461206499" ;
   schema:isbn "9781461206491" ;
    .

<http://worldcat.org/issn/1868-0941> # Graduate Texts in Computer Science,
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/853259089> ; # Logic for Applications
   schema:issn "1868-0941" ;
   schema:name "Graduate Texts in Computer Science," ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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