「#順序数解析」の記事一覧 | Mathlog

順序数解析

使用者数

1

フォロワー数

0

解説...

2020年11月8日

Kreiselの反例

証明論,順序数解析,Kreiselの反例

244

6

読み込み中