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