Simpson (1999) discusses many aspects of second-order arithmetic and reverse mathematics.
Simpson (1999) は二階算術と逆数学に関する様々な話題を取り上げている。