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 .
Include Index
Includes bibliographical references (p. 274-277)
013564139X
Logic, Symbolic and mathematical.
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 .
Include Index
Includes bibliographical references (p. 274-277)
013564139X
Logic, Symbolic and mathematical.