...
机译:具有简单非逻辑公理的Lambek微积分的Pentus定理
Faculty of Mathematics and Computer Science University of Warmia and Mazury;
Lambek; calculus; context-free; grammar;
机译:基于外部演算的各种不动点和存在性定理的简单证明
机译:利用微积分对二项式定理推广的简单证明
机译:使用微积分的二项式定理的简单证明
机译:通过公理归约证明更难的定理
机译:完备定理和计算机程序,用于寻找从给定轴可推导的定理
机译:SOD定律:法律原理公理定理假说ETC等的汇编。治理人类状况
机译:Lambek微积分的范式定理证明
机译:Lambek微积分富含附加连接