TY  - BOOK
AU  - Hehner,Eric C.R.
TI  - The logic of programming
SN  - 0876927010 :
U1  - 519.7 
PY  - 1991///
CY  - New Delhi
PB  - Prentice-Hall of India
KW  - Computer programming
KW  - Logic, Symbolic and mathematical
KW  - Programming languages (electronic computer)
KW  - Mathematical model
KW  - Programming (Mathematics)
N1  - Includes index; Bibliography: p. 343-345
ER  -