6 followers
https://t.co/EvmbJDV4jA 可算コンパクト性をREに置き換えてもいいらしい?
https://t.co/EvmbJDV4jA 可算コンパクト性をREに置き換えてもいいらしい?
なんと!これは買わねば
Ebbinghaus, Flum & Thomas の第3版が出てる。https://t.co/MLxaJahvmo
Yeap, this is the standard mathematical logic textbook. https://t.co/TGqVgkhN66