論理と集合論の文献。 古書，メルカリなど

論理と集合論のビブリオグラフィーから、メルカリやYahoo出店の古書店での，古書取り扱い状況をチェック可能に。

論理と集合論のビブリオグラフィー。ボタンデザイン変更。

  論理と集合論のビブリオグラフィー。ボタンデザイン変更。

論理と集合論のビブリオグラフィー

 論理と集合論のビブリオグラフィー。smartphoneで見やすいデザインに変更。

中内伸光『ろんりの練習帳』についての書評リンク追加。

 論理と集合のビブリオグラフィー。

中内伸光『数学の基礎体力をつけるためのろんりの練習帳』共立出版(2002年) に、
日本数学会『数学通信8(1) 』掲載の書評へのリンクを追加。

山田俊行 『はじめての数理論理学』 森北出版 (2018年)

論理と集合論のビブリオグラフィーに、、
山田俊行『はじめての数理論理学』追加。

解析,線形代数,論理と集合の文献一覧

解析,線形代数,論理と集合の文献一覧について、一応のhttps対応完了。

論理と集合論のビブリオグラフィーに大学生協書籍部在庫検索

論理と集合論のビブリオグラフィーでも、
・東大生協書籍部在庫検索の更新
・早大生協書籍部在庫検索の追加
・関西学院大学生協書籍部在庫検索の追加

論理と集合論のビブリオグラフィー

論理と集合論のビブリオグラフィー。

Herbert B. Enderton A mathematical introduction to logic
Dirk Van Dalen, Logic and Structure
林晋 『数理論理学』
にたいして、機能拡張。

論理と集合論のビブリオグラフィー

論理と集合論のビブリオグラフィー。

杉浦光夫『解析入門I』
神谷和也・浦井憲『経済学のための数学入門』
前原昭二『数理論理学序説』
にたいして、機能拡張。

論理・集合の文献

論理・集合のbibliography。機能拡張の範囲拡大。

論理・集合の文献リンク。ためしに、機能拡張。

論理・集合の文献

論理・集合の文献リンク更新。

命題論理の自然演繹の定理【5】冪等律 idempotent law の証明

命題論理の自然演繹における諸定理 【5】冪等律 idempotent law の証明。派生推論規則の証明に対応。

命題論理の自然演繹における定理・派生推論規則【4】二重否定律law of double negationの証明

命題論理の自然演繹における諸定理 【4】二重否定律　law of double negationの証明。派生推論規則の証明に対応。

命題論理の自然演繹における諸定理 【8】分配律の証明

命題論理の自然演繹における諸定理 【8】分配律の証明に解説を付与。

命題論理の自然演繹【3】矛盾律の証明

命題論理の自然演繹における諸定理 【3】矛盾律の証明に、解説を付与。

【背理法】のもとで【二重否定除去律】は派生推論規則

【背理法】のもとで【二重否定除去律】は派生推論規則に、解説を付与。

命題論理の自然演繹：否定導入則・否定除去則

命題論理の自然演繹：￢導入則・￢除去則から、
使用例として、矛盾律の証明、二重否定律の証明、選言的三段論法　へ、
リンク。

⇒導入則・⇒除去則の使用例

⇒導入則・⇒除去則。
⇒導入則の使用例として、二重否定律の証明にリンク。
⇒除去則の使用例として、対偶律の証明、推移律の証明にリンク。

ターンスタイル。

命題論理の構文論。「定義：⊢」の説明。