Historical Induction or Abstract Deduction?& Historical Evolution and Realistic Examination of T

中文解释

同时对各种逻辑传统（如经典逻辑、直觉主义逻辑和线性逻辑等），给出一种统一和融和的方法。