rdf-syntax-grammar
mods:
  schema location: http://www.loc.gov/mods/v3 http://www.loc.gov/standards/mods/v3/mods-3-2.xsd
  title info:
    title: Logic for Applications
  name:
    name part: Nerode, Anil.
    role:
      role term: creator
  name:
    name part: Shore, R. A. (Richard A.)
  name:
    name part: SpringerLink (Online service)
  type of resource: text
  genre: Electronic books.
  origin info:
    place:
      place term: xxu
    date issued: 1997
    edition: Second Edition.
    issuance: monographic
  language:
    language term: eng
  physical description:
    reformatting quality: access
    form: remote
    extent: 1 online resource (xiii, 456 pages)
  abstract: 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.
  table of contents: Contents: Propositional logic -- Predicate logic -- PROLOG -- Modal logic -- Intuitionistic logic -- Elements of set theory -- Appendices.
  note: by Anil Nerode, Richard A. Shore.
  note: Electronic resource.
  subject:
    topic: Computer science
  subject:
    topic: Logic design
  subject:
    topic: Artificial intelligence
  subject:
    topic: Logic, Symbolic and mathematical
  subject:
    topic: Artificial intelligence
  subject:
    topic: Computer science
  subject:
    topic: Logic design
  subject:
    topic: Logic, Symbolic and mathematical
  classification: QA76.9.L63
  classification: QA76.5913
  classification: QA76.63
  classification: 005.1015113
  related item:
    title info:
      title: Graduate texts in computer science
  identifier: 9781461206491 (electronic bk.)
  identifier: 1461206499 (electronic bk.)
  identifier: 9781461268550
  identifier: 1461268559
  identifier: 1461206499
  identifier: http://proxy.library.tamu.edu/login
  record info:
    record content source: AU@
    record creation date: 121227
    record change date: 20260420205724.7
    record identifier: in00003561772
    language of cataloging:
      language term: eng