Mathematical logic for computer science /
Ben-Ari, M., 1948-
Mathematical logic for computer science / M. Ben-Ari. - New York : Prentice Hall, 1993. - xi, 305 p. : ill. ; 24 cm. - Prentice Hall international series in computer science .
Includes bibliographical references (p. 274-277) and index.
013564139X $40.00
92022640
Logic, Symbolic and mathematical.
QA9 / .B43 1993
511.3
Mathematical logic for computer science / M. Ben-Ari. - New York : Prentice Hall, 1993. - xi, 305 p. : ill. ; 24 cm. - Prentice Hall international series in computer science .
Includes bibliographical references (p. 274-277) and index.
013564139X $40.00
92022640
Logic, Symbolic and mathematical.
QA9 / .B43 1993
511.3