数理論理学の参考文献
『Constructive Mathematics』
『数理論理学入門』高崎金久（京都大学）
「ソフトウェアの基礎(Software Foundations)」シリーズ
Logical Foundations
『Software Foundations Vol.1 Logical Foundations』
Coqを使って学ぶ
本
『記号論理入門』. 2005
『数理論理学 (現代基礎数学)』. 2009
『形式手法教科書』. 2012
『記号論理学講義: 基礎理論 束論と圏論 知識論』. 2013
『Logic and Structure』Fifth Edition. 2013
『論証の教室〔入門編〕インフォーマル・ロジックへの誘い』. 2022
『一歩ずつマスターする論理学入門』. 2025
『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
関連
型理論の文献
形式手法の文献
#特定の文献リスト