TY - BOOK AU - ARI, BEN MORDECHAI TI - Mathematical Logic for Computer Science U1 - 511.3 PY - 2008/// CY - New Delhi PB - Springer KW - MATHEMATICAL STATISTICS, MATHEMATICS ER -