1002コメント355KB

圏論 / カテゴリー論 / Category Theory 4

■ このスレッドは過去ログ倉庫に格納されています

0282１３２人目の素数さん

2013/11/29(金) 01:05:35.11

命題論理の形式系の確実性の高い習得方法が多分わかった！

■ このスレッドは過去ログ倉庫に格納されています