言及状況

Twitter (1 users, 1 posts, 1 favorites)

今日はArai ``A consistency proof as system including Feferman's ID by Takeuti's reduction method” https://t.co/I7JhOLXYm7 を読んでいた.

収集済み URL リスト