A Bibliography of Symbolic Logic, 1666–1935