論理学を学ぶ
★
『論証の教室〔入門編〕インフォーマル・ロジックへの誘い』
URL:
https://www.shin-yo-sha.co.jp/book/b603187.html
命題論理.pdf
Introduction to Logic
『数理論理学 (現代基礎数学)』
URL:
https://www.asakura.co.jp/detail.php?book_code=11765
★
『形式手法教科書』
URL:
https://www.kohgakusha.co.jp/books/detail/978-4-7775-1723-7
『Logic and Structure』Fifth Edition
★
『一歩ずつマスターする論理学入門』
URL:
https://www.keio-up.co.jp/np/isbn/9784766430158/
ちゃんと紹介するのが難しいのであとは数理論理学の参考文献ページをみる
数理論理学の参考文献
自然演繹
自然演繹を学ぶ
束論
方面
『順序集合や束などに関する基本的な概念の説明』
『数理情報学のための束論 Lattice Theory for Mathematical Informatics』
『記号論理学講義: 基礎理論 束論と圏論 知識論』
(買ってはない)
関連
型理論の文献
形式手法の文献