大西琢朗 @takuro_onishi
アイコンは http://tsg.s57.xrea.com/ から.
-
「論理学」ってなんですか。
25700pv 212 76 users 6 -
構成主義と実無限
9525pv 18 4 users 1 -
直観主義論理と真でも偽でもない命題
16029pv 25 7 users 1
-
直観主義,背理法と否定の導入
16187pv 33 1 user