Kim B. Bruce gave a system of axioms lor second order logic L(Q).

  • Bruce于1978年提出二阶逻辑L(Q)的概念和公理系统。
目录 查词历史