TY  - BOOK
AU  - CAR Hoare
AU  - JC Shepherdson
TI  - Mathematical Logic and programming languages
SN  - 0135614651
PY  - 1985///
CY  - New Jersey
PB  - Prentice
N2  - Gifted by Prof. V Rajaraman
ER  -