The Resource Logic for Applications, by Anil Nerode, Richard A. Shore
Logic for Applications, by Anil Nerode, Richard A. Shore
Resource Information
The item Logic for Applications, by Anil Nerode, Richard A. Shore represents a specific, individual, material embodiment of a distinct intellectual or artistic creation found in Massey University Library, University of New Zealand.This item is available to borrow from 1 library branch.
Resource Information
The item Logic for Applications, by Anil Nerode, Richard A. Shore represents a specific, individual, material embodiment of a distinct intellectual or artistic creation found in Massey University Library, University of New Zealand.
This item is available to borrow from 1 library branch.
 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 proving, logic programming and nonclassical 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
 Language
 eng
 Edition
 Second edition
 Extent
 1 online resource (xiii, 456 pages)
 Contents

 Propositional logic
 Predicate logic
 PROLOG
 Modal logic
 Intuitionistic logic
 Elements of set theory
 Appendices
 Isbn
 9781461206491
 Label
 Logic for Applications
 Title
 Logic for Applications
 Statement of responsibility
 by Anil Nerode, Richard A. Shore
 Language
 eng
 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 proving, logic programming and nonclassical 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
 http://library.link/vocab/creatorName
 Nerode, Anil
 Dewey number
 005.1015113
 Index
 no index present
 Literary form
 non fiction
 Nature of contents
 dictionaries
 http://library.link/vocab/relatedWorkOrContributorName
 Shore, R. A.
 Series statement
 Graduate Texts in Computer Science,
 http://library.link/vocab/subjectName

 Computer science
 Logic design
 Artificial intelligence
 Logic, Symbolic and mathematical
 Label
 Logic for Applications, by Anil Nerode, Richard A. Shore
 Antecedent source
 file reproduced from original
 Color
 mixed
 Contents
 Propositional logic  Predicate logic  PROLOG  Modal logic  Intuitionistic logic  Elements of set theory  Appendices
 Control code
 ocn853259089
 Dimensions
 unknown
 Edition
 Second edition
 Extent
 1 online resource (xiii, 456 pages)
 File format
 unknown
 Form of item
 online
 Isbn
 9781461206491
 Level of compression
 uncompressed
 Note
 SpringerLink
 Quality assurance targets
 unknown
 Reformatting quality
 access
 Sound
 unknown sound
 Specific material designation
 remote
 System control number
 (OCoLC)853259089
 Label
 Logic for Applications, by Anil Nerode, Richard A. Shore
 Antecedent source
 file reproduced from original
 Color
 mixed
 Contents
 Propositional logic  Predicate logic  PROLOG  Modal logic  Intuitionistic logic  Elements of set theory  Appendices
 Control code
 ocn853259089
 Dimensions
 unknown
 Edition
 Second edition
 Extent
 1 online resource (xiii, 456 pages)
 File format
 unknown
 Form of item
 online
 Isbn
 9781461206491
 Level of compression
 uncompressed
 Note
 SpringerLink
 Quality assurance targets
 unknown
 Reformatting quality
 access
 Sound
 unknown sound
 Specific material designation
 remote
 System control number
 (OCoLC)853259089
Library Links
Embed (Experimental)
Settings
Select options that apply then copy and paste the RDF/HTML data fragment to include in your application
Embed this data in a secure (HTTPS) page:
Layout options:
Include data citation:
<div class="citation" vocab="http://schema.org/"><i class="fa faexternallinksquare fafw"></i> Data from <span resource="http://link.massey.ac.nz/portal/LogicforApplicationsbyAnilNerodeRichard/0JxlRKwSpLA/" typeof="Book http://bibfra.me/vocab/lite/Item"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.massey.ac.nz/portal/LogicforApplicationsbyAnilNerodeRichard/0JxlRKwSpLA/">Logic for Applications, by Anil Nerode, Richard A. Shore</a></span>  <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.massey.ac.nz/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.massey.ac.nz/">Massey University Library, University of New Zealand</a></span></span></span></span></div>
Note: Adjust the width and height settings defined in the RDF/HTML code fragment to best match your requirements
Preview
Cite Data  Experimental
Data Citation of the Item Logic for Applications, by Anil Nerode, Richard A. Shore
Copy and paste the following RDF/HTML data fragment to cite this resource
<div class="citation" vocab="http://schema.org/"><i class="fa faexternallinksquare fafw"></i> Data from <span resource="http://link.massey.ac.nz/portal/LogicforApplicationsbyAnilNerodeRichard/0JxlRKwSpLA/" typeof="Book http://bibfra.me/vocab/lite/Item"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.massey.ac.nz/portal/LogicforApplicationsbyAnilNerodeRichard/0JxlRKwSpLA/">Logic for Applications, by Anil Nerode, Richard A. Shore</a></span>  <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.massey.ac.nz/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.massey.ac.nz/">Massey University Library, University of New Zealand</a></span></span></span></span></div>