A bibliography of symbolic logic, 1666-1935