>>437
ありますよ。解答も付いてます。
この本は定義域が空集合の写像についても言及していて、連続する量化記号に一節使っていて、素朴集合論のみですが、説明も注意も細かくて、そこはさすが基礎論の専門家だと思った。