おっちゃんです。
何れにしろ、実数直線Rの連結性と ε-N は必須。
微積分に限らず、量化子∀、∃の記号を用いている本はある。