TY  - BOOK
AU  - Manna, Zohar
TI  - Lectures on the logic of computer programming
SN  - 898711649
SN  - 79093153
U1  - 005.13 MAN 
PY  - 1980///
CY  - Philadelphia, PA
PB  - Society for Industrial and Applied Mathematics
KW  - Computer programming
KW  - Logic, Symbolic and mathematical
N1  - Bibliography: p. 49
ER  -