About mki
ITF.B4.Model Theory
MarkerとTent-Ziegler勉強してるのでそこら辺の定義とかわからないこととか気づきとかを残します。
Lists
mki has no public lists
Timeline
mki has no activity yet
ITF.B4.Model Theory
MarkerとTent-Ziegler勉強してるのでそこら辺の定義とかわからないこととか気づきとかを残します。
mki has no public lists
mki has no activity yet