Ben-Ari Mordechai

Mathematical logic for computer science - 2 - London Springer-Verlag 2003 - xiv,304p. cm.

Bibliography 293-295p; Index 297-304p.

8181283449 (pbk)

15928

174, 28/09/2005, Ashutosh Technical Books Textual


Logic- mathematical
Logic-symbolic
Mathematical logic
Computer Science

B:(R1)0b9S, P3