Ben-Ari,, M.,, 1948-
Mathematical logic for computer science / M. Ben-Ari
Mathematical logic for computer science / M. Ben-Ari
. - New York : Prentice Hall, 1993
. - XI, 305 p. 24 cm
. - (Prentice Hall international series in computer science)
0-13-564139-X (Brochado)
519.6