教習所論理学、(P → Q) → ¬Q という公理から出発して体系は作れるのかちょっと興味ある
posted at 11:56:31
RT @ben_golub: Every time I see this plane it has a lot of retweets so I bet this tweet will do well pic.twitter.com/2E7f2C30zS
posted at 11:13:04
↧
8月5日のツイート
↧