Computer Science Logic : 13th International Workshop, Csl'99, 8th Annual Conf...

Mathematical Logic for Computer Science Mordechai Ben-Ari Math Technology Book

Computer Science Logic : 18th International Workshop, Csl 2004, 13th Annual C...

Graduate Texts in Mathematics Mathematical Logic by Wolfgang Thomas Third Ed HC

Nielsen - Computer Science Logic 11th International Workshop CSL'97 - X555z

The Logic of Partial Information - Monographs in Theoretical Computer Science

Gottlob - Computer Science Logic 12th International Workshop CSL'98 - X555z