creators_name: Tin, Erkan
creators_name: Akman, Varol
type: journalp
datestamp: 1998-07-02
lastmod: 2011-03-11 08:53:49
metadata_visibility: show
title: Book Review -- Anil Nerode and Richard A. Shore, Logic for Applications
ispublished: pub
subjects: comp-sci-art-intel
subjects: phil-logic
full_text_status: public
keywords: propositional logic, predicate logic, tableau proofs, models, nonclassical logics, logic programming, Prolog, history of logic.
abstract: This is review of Logic for Applications, by Anil Nerode and Richard A. Shore, published by Springer-Verlag in 1993.
date: 1995
date_type: published
publication: SIGACT News
volume: 26
number: 1
pagerange: 20-22
refereed: TRUE
citation:   Tin, Erkan and Akman, Varol  (1995) Book Review -- Anil Nerode and Richard A. Shore, Logic for Applications.  [Journal (Paginated)]     
document_url: http://cogprints.org/340/2/lfa.ps