"340","Book Review -- Anil Nerode and Richard A. Shore, Logic for Applications","This is review of Logic for Applications, by Anil Nerode and Richard A. Shore, published by Springer-Verlag in 1993.","http://cogprints.org/340/","Tin, Erkan and Akman, Varol","UNSPECIFIED","       <span class=\"person_name\">Tin, Erkan</span> and <span class=\"person_name\">Akman, Varol</span>     (1995)  <a href=\"http://cogprints.org/340/\"><em>Book Review -- Anil Nerode and Richard A. Shore, Logic for Applications.</em></a>       [Journal (Paginated)]           ","","1995"