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