TY  - BOOK
AU  - Beckman, Frank S
TI  - Mathematical Foundations of programming
SN  - 020114462X
AV  - QA 9 Bec 
PY  - 1980///
CY  - Reading
PB  - Addison-Wesley
KW  - Formal languages
KW  - MACHINE THEORY
KW  - LOGIC, SYMBOLICAL AND MATHEMATICAL
ER  -