add servel sections/domins in chapter 9
add axiom book vol0 chapter 10
add Functional.Differential.Geometry nots
add some parts of FDG
add Computer-Aided Reasoning An Approach notes