Coverart for item
The Resource Logic for Applications, by Anil Nerode, Richard A. Shore

Logic for Applications, by Anil Nerode, Richard A. Shore

Label
Logic for Applications
Title
Logic for Applications
Statement of responsibility
by Anil Nerode, Richard A. Shore
Creator
Contributor
Subject
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 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
Member of
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
Instantiates
Publication
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
Publication
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 Locations

    • InternetBorrow it
      Albany, Auckland, 0632, NZ
Processing Feedback ...