На матэматычныя тэмы Булем былі створаны два сістэматычныя трактаты: «Трактат аб дыферэнцыяльных ураўненнях» (1859; другое выданне не завершана, матэрыялы да яго апублікаваныя пасмяротна ў 1865) і задуманы як яго працяг «Трактат аб канчатковых рознасцей» (1860). Гэтыя працы зрабілі важкі ўнёсак у адпаведныя раздзелы матэматыкі і ў той жа час прадэманстравалі глыбокае разуменне Булем філасофіі свайго прадмета.