Mathematical logic for computer science - Ben-Ari Mordechai (London Springer-Verlag, 2003)
Bibliography 293-295p; Index 297-304p.
Keywords: Logic- mathematical; Logic-symbolic; Mathematical logic; Computer Science