?url_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Adc&rft.title=Book+Review+--+Anil+Nerode+and+Richard+A.+Shore%2C+Logic+for+Applications&rft.creator=Tin%2C+Erkan&rft.creator=Akman%2C+Varol&rft.subject=Artificial+Intelligence&rft.subject=Logic&rft.description=This+is+review+of+Logic+for+Applications%2C+by+Anil+Nerode+and+Richard+A.+Shore%2C+published+by+Springer-Verlag+in+1993.&rft.date=1995&rft.type=Journal+(Paginated)&rft.type=PeerReviewed&rft.format=application%2Fpostscript&rft.identifier=http%3A%2F%2Fcogprints.org%2F340%2F2%2Flfa.ps&rft.identifier=++Tin%2C+Erkan+and+Akman%2C+Varol++(1995)+Book+Review+--+Anil+Nerode+and+Richard+A.+Shore%2C+Logic+for+Applications.++%5BJournal+(Paginated)%5D+++++&rft.relation=http%3A%2F%2Fcogprints.org%2F340%2F