1-2 of 2 Books
Propositional logic
By H. Kleine Büning,Hans Kleine Büning,Theodor Lettmann
Intelligence artificielle et informatique théorique
By Jean-Marc Alliot