×

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

用非确定ε替换\(\mathrm{ID}_1\):有效证明。 (英语) Zbl 1319.03061号

Berger,Ulrich(编辑)等人,《逻辑、构造、计算》。献给赫尔穆特·施维希滕贝格70岁生日。美因河畔法兰克福:Ontos Verlag;柏林:De Gruyter(ISBN 978-3-11-032453-2-hbk;978-3-86838-158-0/hbk;978-11-032492-1/电子书)。Ontos数学逻辑3,325-342(2012)。
MSC公司:05年3月 35楼03号
PDF格式 BibTeX公司 XML格式 引用

优先级参数和ε替换。 (英语) Zbl 1239.03036号

所罗门·费弗曼(编辑)等人,《证明、类别和计算》。纪念格里戈里造币厂的文章。与弗拉基克·克雷诺维奇、弗拉基米尔·利夫希茨和鲁伊·德·奎罗斯合作。伦敦:学院出版物(ISBN 978-1-84890-012-7/pbk)。《致敬》13,251-266(2010)。
PDF格式 BibTeX公司 XML格式 引用
全文: arXiv公司

用ε替换等式谓词逻辑的方法。 (英语。俄文原件) Zbl 0934.03073号

数学杂志。科学。,纽约 87,第1期,3234-3252(1997); Zap的翻译。诺什。塞明。POMI 22093-122(1995)。
PDF格式 BibTeX公司 XML格式 引用
全文: 内政部

Gentzen型系统和Hilbertε替换方法。一、。 (英语) Zbl 0835.03023号

Prawitz,D.(ed.)等人,《科学的逻辑、方法论和哲学IX.第九届国际逻辑、方法学和科学哲学大会论文集》,瑞典乌普萨拉,1991年8月7日至14日。阿姆斯特丹:荷兰北部。发现螺柱逻辑。数学。134, 91-122 (1994).
MSC公司:05年3月 30楼03号
PDF格式 BibTeX公司 XML格式 引用

关于研究特殊形式偏微分方程周期解的一种方法。 (俄语) Zbl 0684.35009号

审核人:I.金切夫
PDF格式 BibTeX公司 XML格式 引用

具有选择公理的二阶经典逻辑的范式定理。 (英语。俄文原件) Zbl 0850.03053号

数学。苏联,伊兹夫。 32,第3期,587-605(1989年); Izv的翻译。阿卡德。Nauk SSSR,序列号。材料52,第3号,581-600(1988年)。
MSC公司:05年3月
PDF格式 BibTeX公司 XML格式 引用
全文: 内政部

筛选结果依据…

文档类型

正在审阅状态

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份