1001コメント405KB

数学基礎論・数理論理学　その10

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

0669１３２人目の素数さん

2011/12/10(土) 10:50:28.68

世界とかエージェントとかは様相論理の話だと思われる

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