数理論理学の参考文献 - pogi-log

数理論理学の参考文献

『Constructive Mathematics』

『数理論理学入門』高崎金久（京都大学）

Logical Foundations

Coqを使ってやる

本

『数理論理学 (現代基礎数学)』

『記号論理入門』

『記号論理学講義: 基礎理論束論と圏論知識論』

『Logic and Structure』Fifth Edition

『Constructive Mathematics』

https://student.sguc.ac.jp/i/st/learning/logic/

命題論理.pdf

『数理論理学入門』高崎金久（京都大学）

『形式手法教科書』

論理学入門 | 慶応大学

https://www.youtube.com/live/X1-Wmdmsj9Y?si=sU2uX2FTIaODFyMf

#特定の文献リスト