論理学への数学的手引き (日本語) 単行本 ? 2020/11/12
Herbert B. Enderton (著), 嘉田 勝 (翻訳)

数理論理学の入門書の翻訳がでますね。