微分形式を詳述しているものと言ったら
松本さんの「多様体の基礎」（東大出版）が一番ですかね。