其技术上的完善得益于30年代的爱裘凯维茨(Ajduciewicz)的逻辑处理及以后兰贝克(Lambek)的代数演算。50年代初巴-希勒.
基于26个网页-相关网页
爱裘凯维茨
Love Jokiewicz
以上为机器翻译结果,长、整句建议使用 人工翻译 。
应用推荐
模块上移
模块下移
不移动