加载中…
The 2015 Logic Blog contains a large variety of results connected to logic, some of them unlikely to be submitted to a journal. For the first time there is a group theory part. There are results in higher randomness, and in computable ergodic theory.

生成讲解博客的中文版本

生成AI智能校验的中文版本