Logics of programs :  Brooklyn, June 17-19, 1985 : proceedings / 
edited by Rohit Parikh 
 - Berlin :  Springer-Verlag,  1985 
 - 424 p. 
 - Lecture notes in computer science ;  no. 193 .
<br/><br/> Papers presented at a conference held at Brooklyn College, June 17-19, 1985 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Logic, Symbolic and mathematical--Congresses<br/>Computer programs--Congresses
<br/><br/><label>LC Class. No.: </label>QA76.6  / L5855