The Boole-DeMorgan correspondence 1842 - 1864 - Boole, George 1815-1864; De Morgan, Augustus 1806-1871 (Oxford logic guides, 1982)