TY  - BOOK
AU  - Backman, Frank S.
TI  - MATHEMATICAL FOUNDATIONS OF PROGRAMMING
U1  - 519.4 
PY  - 1981///
CY  - Massachusetts
PB  - Addison-Wesley
KW  - Logic, Symbolic And Mathematical
KW  - Formal Languages
ER  -