Laws of tought, foudnations of bolean algebra, mathematical logic