History of logic by Berg