766コメント655KB

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

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

0121１３２人目の素数さん

2012/04/09(月) 08:05:32.93

非古典論理の研究が「論理学」で、
集合論や計算論が「基礎論」ってことおk

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