1-3 of 3 Books
Propositional logic
By H. Kleine Büning,Hans Kleine Büning,Theodor Lettmann
Eléments de mathématiques discrètes
By Louis Frécon
Computer science logic
By Workshop on Computer Science Logic (19th 2005 Oxford, England)