三I方法综述——它的提出、发展、应用和逻辑版本

对三I方法提出的背景、三I方法的推广与应用作了综述,介绍三I方法在数理逻辑学中的版本。