Model-theoretic studies on subsystems of second order arithmetic
By: by Takeshi Yamazaki
Series: Tohoku mathematical publications -- no. 17
Publisher: Tohoku University
Published: 2000
Place of publication: Sendai, Japan
Language: eng
Number of pages: 63