TY  - BOOK
AU  - Hehner, Eric C R.
TI  - Logic of programming
SN  - 0876927010
U1  - 005.1  1
PY  - 1991///
CY  - New Delhi
PB  - Prentice Hall of India PVt Ltd
KW  - Sequences and grammars
KW  - Operational and mathematical reasoning
KW  - Data structures
ER  -