数理論理学の参考文献
『Constructive Mathematics』
『数理論理学入門』高崎金久(京都大学)
Logical Foundations
Coqを使ってやる
本
『数理論理学 (現代基礎数学)』
『記号論理入門』
『記号論理学講義: 基礎理論 束論と圏論 知識論』
『Logic and Structure』Fifth Edition
『Constructive Mathematics』
命題論理.pdf
『数理論理学入門』高崎金久(京都大学)
『形式手法教科書』
論理学入門
| 慶応大学
https://www.youtube.com/live/X1-Wmdmsj9Y?si=sU2uX2FTIaODFyMf
#特定の文献リスト