TY  - BOOK
AU  - Gries,David
TI  - The Science of Programming
SN  - 8185015422
U1  - 001.642 
PY  - 1988///
CY  - New Delhi: 
PB  - Narosa Publishing, 
KW  - computer Science
KW  - Predicates
KW  - Proposition
KW  - The Semantic & small Language
ER  -