LEADER 00000cam  2200000 i 4500 
001       79093153 //r872 
008    800723s1980    pau      b    00010 eng   
020    0898711649 :|c$7.50 ($6.00 to members) 
040    |cAS|dSTAT 
050 0  QA76.6|b.M3559 
082 0  001.64/2|219 
100 10 Manna, Zohar 
245 10 Lectures on the logic of computer programming /|cZohar 
       Manna 
260 0  Philadelphia, Pa. :|bSociety for Industrial and Applied 
       Mathematics,|c1980 
300    iv, 49 p. ;|c25 cm 
440  0 CBMS-NSF regional conference series in applied mathematics
       ;|v31 
504    Bibliography: p. 49 
650  0 Electronic digital computers|xProgramming 
650  0 Logic, Symbolic and mathematical