News 2024 04 04

一階述語論理の事実のうち, 個人的に便利だと思った事実を纏めたPDFをアップしました！