本を探す
Scrapbox
「本橋 信義」の検索結果
新しい論理序説 (すうがくぶっくす)
inflib
数学と新しい論理―数学的帰納法をめぐって