1845-1918 1848-1925 algebra algebraiclogic algebraicspaces boolean cantor differentialequations frege georg gottlob history linearprogramming logic mat017000 mathematics philosophy philosophyandscience studyandteaching studyandteaching(higher) symbolicandmathematical textbooks