TY  - BOOK
AU  - LEW, Art
AU  - 
TI  - Computer science: A mathematical introduction
T2  - Prentice-Hall international series in computer science
SN  - 0131640623
U1  - 511.3 
PY  - 1984///
CY  - NEW YORK
PB  - PRENTICE-HALL
KW  - MATHEMATICAL LOGIC
ER  -