Sat2000by Toby WalshComputer algorithmsPropositional calculusDecision makingWriting a summary for young readers…For young readersBook data: Open Library