数理論理学 - 東京大学出版会
数理論理学詳細をご覧いただけます。