[…] Riverside (UCC): George Boole’s untimely death (including a mention of Boole meeting Babbage, plus extracts from …