omega314omega314 のブックマーク 2021/12/25 15:43

その他

このブックマークにはスターがありません。
最初のスターをつけてみよう!

哲学的視点からの直観主義論理入門 [前編]

    古典命題/述語論理の証明論・モデル論や、健全性・完全性定理に多少触れたことがないと理解できない可能性が高いです。 また、哲学に関する前提知識は必要ありません(おそらく)。 分かっている人向けの説明 「金...

    \ コメントが サクサク読める アプリです /

    • App Storeからダウンロード
    • Google Playで手に入れよう