論理学
/villagepump/@hoshihara#68a5bd6e0000000000c96c38
/sno2wman/論理学を独習したいあなたに
Logic -- from Wolfram MathWorld