History of mathematical logic