×

找到5个文档(结果1-5)

规则、派生规则、允许规则和各种类型的扣除系统。 (英文) Zbl 1041.03505号

爱德华·赫尔曼(Edward Hermann)等,《PRATICA》。证明、类型和类别。选自PRATICA'95、PRATICA'96和PRATICA'98的论文。里约热内卢:里约热内卢蓬蒂菲西亚大学(ISBN 85-900900-1-9/pbk)。159-184 (1999).
MSC公司:03B22号 03B20型
PDF格式BibTeX公司 XML格式引用

科学知识。由Jean-Yves Béziau作序。附录一由N.Papavero编写,附录二由F.A.Doria编写,附录三由J.C.M.Magalháes编写。第2版。(《科学检验》) (葡萄牙语) Zbl 0955.03009号

科莱索·费洛索菲亚·达·西尼亚和认识论。圣保罗:社论。300页(1999年)。
PDF格式BibTeX公司 XML格式引用

逻辑语法的数学结构。 (英文) 兹比尔0943.03003

Walter A.Carnielli等人,《当代逻辑和计算机科学进展》。第十一届巴西数理逻辑会议记录,巴西巴伊亚萨尔瓦多。1996年5月6日至10日。普罗维登斯,RI:美国数学学会。康斯坦普。数学。235, 3-15 (1999).
MSC公司:03A05号 03B05号 03B30型 03B15号机组
PDF格式BibTeX公司 XML格式引用

筛选结果依据…

文档类型

主字段