Logiques pour l'intelligence artificielleby Raymond TurnerIntelligence artificielleLogique symbolique et mathématiqueWriting a summary for young readers…For young readersBook data: Open Library