내가 확인한걸로는


김김계 1997년 다변수해석 (절판)

웨이드 번역본 뒷부분 다변수해석부분 (그마저도 어려운 증명은 spivak 책 참고하라고함)

스피박 1991년 다변수해석 번역 (절판)


이렇게밖에없는데... ㅠㅠ. 공대생용 벡터해석 한글책은 널리고 널렸는데


제대로 증명하는 벡터해석이나 다변수해석은 거의 멸종한거같음.