数理論理学の参考文献
『Constructive Mathematics』
『数理論理学入門』高崎金久（京都大学）
Logical Foundations
Coqを使ってやる
本
『数理論理学 (現代基礎数学)』
『記号論理入門』
『記号論理学講義: 基礎理論 束論と圏論 知識論』
『Logic and Structure』Fifth Edition
『Constructive Mathematics』
https://student.sguc.ac.jp/i/st/learning/logic/
命題論理.pdf
『数理論理学入門』高崎金久（京都大学）
『形式手法教科書』
論理学入門 | 慶応大学
Kyoto Logic - YouTube
https://www.youtube.com/@kyotologic9125
[2020前期火５]哲学(演習)　論理学
https://www.youtube.com/live/X1-Wmdmsj9Y?si=sU2uX2FTIaODFyMf
Takuro Onishi - YouTube
https://www.youtube.com/@takuro_onishi
2021年度前期哲学演習I (古典命題論理・様相論理・述語論理) - YouTube
https://www.youtube.com/playlist?list=PL54C_zUEsyCZ65DvDRILxbhauvQb8YPVF
情報論理学（東北大 電気系5セメ月2）2022 - YouTube
https://www.youtube.com/playlist?list=PLHte2-9WaZK7M7okMO2Oo9eSi-9X2dfb1
#特定の文献リスト