MANNA(Zohar) & WALDINGER(Richard) <br/><br/>
The logical basis for computer programming. Vol-1: Deductive reasoning 

 - Massachusetts  Addison-Wesley  1985 
 - xii p. + 618