句法的方法采用某种组合演算 形式，如希尔伯特型演算、自然演绎、根岑（Gentzen）演算、消解、表列等等。语义的方法采用外在 于公式集的（数学的）对象，如代数语义、关系语义、博弈理论语义等等。
基于96个网页-相关网页
"Basically, any houseplant can set off an allergy," said Stefan Gentzen, director of the German garden retailers' association in Berlin.
“基本上，任何室内植物可以引发过敏，”德国花园零售商在柏林协会理事斯特凡·根岑说。
youdao
应用推荐
模块上移
模块下移
不移动