TY  - BOOK
AU  - Beckman F.S.
TI  - Mathematical foundations of programming
SN  - 020114462x
AV  - QA 9 .B42 
PY  - 1980///
CY  - London
PB  -  Addison-Wesley pub
KW  - Logic, Symbolic And Mathematics
ER  -