MModel-theoretic studies on subsystems of second order arithmModel-theoretic studies on subsystems of second order arithmeticde Takeshi YamazakiEdiciones (1)Model-theoretic studies on subsystems of second order arithmetic (2000)Tohoku University · inglésMás obras de Takeshi YamazakiNNihon no tōdaiNihon no tōdaiVer todas las obras de Takeshi Yamazaki →