最初の2つは森田茂之「微分形式の幾何学」かな
ボッジ理論も結果だけなら書かれてる。
他にはBott-Tuにも書いてある

証明も含めたらWarnerとかWellsとか