1-3 of 3 Books
Propositional logic
By H. Kleine Büning,Hans Kleine Büning,Theodor Lettmann
Logique et fondements de l'informatique
By Richard Lassaigne
Principes d'intellegence artificielle
By Nils J Nilsson