TY  - BOOK
AU  - Beckman, Frank S.
TI  - Mathematical foundations of programming
SN  - 020114462X
U1  - 519.4 
PY  - 1981///
CY  - Reading, Massachusetts
PB  - Addison-Wesley
KW  - Logic, symbolic and mathematical
KW  - Formal languages
N1  - Includes bibliographies and index
ER  -