These applications of modern logic also made the theor...

• 反过来,这些应用又刺激了逻辑理论本身取得更多的进步。