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