×

找到889份文档（结果1-100）

最新的 引文 关联
斯科特·泰勒。

数学导论。数量、空间和结构。 （英语） Zbl 1521.00001号

纯应用型本科教材62.普罗维登斯，RI：美国数学学会（AMS）（ISBN 978-1-4704-7188-0/pbk；978-1-4740-7416-4/电子书）。第二十六章，第415页。(2023).
MSC公司：00-01号 00年3月35日 00A05号 03B10号机组 03E30年 03-01
PDF格式BibTeX公司 XML格式引用
\textit{S.A.Taylor}，数学导论。数量、空间和结构。普罗维登斯，RI：美国数学学会（AMS）（2023；兹bl 1521.00001）
菲利波·卡尔德罗尼；马克，大卫；莫托·罗斯，卢卡；阿萨夫·沙尼

在线上自由活动的组的反分类结果。 （英语） Zbl 07666840号

高级数学。 418，文章ID 108938，45 p.（2023）.
MSC公司：2015年3月 03E30年 03E75型 03C15号 03C64号 2015年1月6日 06年2月20日 20层60 05年5月54日
PDF格式BibTeX公司 XML格式引用
\textit{F.Calderoni}等人，高级数学。418，文章ID 108938，45 p.（2023；Zbl 07666840）
全文： 内政部 arXiv公司
坎通纳，多梅尼科；安德烈亚·德·多梅尼科；皮埃特罗·毛吉里；尤金尼奥·奥莫代奥（Eugenio G.Omodeo）。

集合论可判定片段的复杂性评估。一： 布尔案例的分类。 （英语） Zbl 1498.03112号

芬丹。通知。 181，编号1，37-69（2021）.
MSC公司：03E30年 03B25号 03B35型 2017年第68季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{D.Cantone}等人，Fundam。通知。181，编号1，37--69（2021；Zbl 1498.03112）
全文： 内政部
坎通纳，多梅尼科；玛丽安娜·尼科洛西·阿斯蒙多；丹尼尔·弗朗西斯科·桑塔马利亚

一种改进的基于集合的描述逻辑推理器{数字图书馆}_\mathrm{D}^{4，\times\dagger}\）。 （英语） Zbl 1497.68545号

芬丹。通知。 178，编号4，315-346（2021）.
MSC公司：68伏15 03E30年 68T27型 68立方英尺
PDF格式BibTeX公司 XML格式引用
\textit{D.Cantone}等人，Fundam。通知。178，编号4，315--346（2021；Zbl 1497.68545）
全文： 内政部
阿克福，厄内斯特

基本集合论和代数：关于表示、拓扑、几何、分析的提示。 arXiv:2101.02031

预印本，arXiv:2101.02031[math.CT]（2021）。
MSC公司：03E20型 03E30年 03E25型 03E75型 06年05月 06年06月06日 18A30型 18A05型 18E05型 18E10型 18小时20分 18E35型 18G05年 18国集团10 18世纪15年代 18国集团 18个G80 20层29 16周22日 15A21号机组 16国集团10 54B30型 54B40码 18层60 46 E25型
BibTeX公司 引用
\textit{E.Akofor}，“基本集合论和代数：关于表示、拓扑、几何、分析的提示”，预印本，arXiv:2101.02031[math.CT]（2021）
全文： arXiv公司
OA许可证
恰兰·邓恩；威尔斯，J.B。；法鲁兹卡马雷丁

给ZF集合理论增加了一个抽象障碍。 （英语） Zbl 1455.68256号

Benzmüller，Christoph（编辑）等人，《智能计算机数学》。第十三届国际会议，CICM 2020，意大利贝蒂诺罗，2020年7月26-31日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12236, 89-104 (2020).
MSC公司：68V20型 03E30年
PDF格式BibTeX公司 XML格式引用
\textit{C.Dunne}等人，Lect。注释计算。科学。12236，89-104（2020；Zbl 1455.68256）
全文： 内政部 arXiv公司
坎通纳，多梅尼科；彼得罗·毛格里；尤金尼奥·奥莫代奥（Eugenio G.Omodeo）。

集合论可判定片段的复杂性评估。二： 涉及成员关系的“小型”语言分类。 （英语） Zbl 1498.03113号

西奥。计算。科学。 848, 28-46 (2020).
MSC公司：03E30年 03B25号 03B35型 2017年第68季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{D.Cantone}等人，Theor。计算。科学。84828--46（2020年；Zbl 1498.03113）
全文： 内政部
安德烈·彼得鲁兹扎克（Andrzej Pietruszczak）

分娩理论的基础。血液学研究。马修·卡莫迪译自波兰语。修订和扩展英文版。 （英语） Zbl 1461.03003号

逻辑趋势——Studia Logica图书馆54.查姆：施普林格（ISBN 978-3-030-36532-5/hbk；978-3-0.30-36535-6/pbk；988-3-030-26533-2/电子书）。第二十三、285页。(2020).
审核人：布拉尼斯拉夫·博里奇奇（贝尔格莱德）
MSC公司：03-02 03A05号 00A30型 03E20型 03E30年
PDF格式BibTeX公司 XML格式引用
\textit{A.Pietruszczak}，分娩理论的基础。血液学研究。马修·卡莫迪译自波兰语。修订版和扩展版英语。商会：施普林格（2020；兹比尔1461.03003）
全文： 内政部
路易斯·米盖尔·维莱加斯·席尔瓦

（2^{{<}\kappa}=\kappa）下的A\（\kappa/）-粗糙沼泽和各种应用。 （英语） Zbl 1459.03040号

芬丹。数学。 248，第2期，第111-133页（2020年）.
审核人：J.M.Plotkin（东兰辛）
MSC公司：03C30号 03E30年 03E35号 03E45型 03E55型 03E75型 03C55号 03D60年 03E65年
PDF格式BibTeX公司 XML格式引用
\textit{L.M.Villegas Silva}，芬丹。数学。248，第2号，第111--133条（2020；Zbl 1459.03040）
全文： 内政部
尼尔·巴顿；Sy-David弗里德曼

集合理论和结构。 （英语） 兹比尔1528.03011

Centrone，Stefania（编辑）等人，《数学基础的思考》。单价基础、集合理论和一般思想。基于2016年7月18日至23日在德国比勒费尔德举行的FOMUS数学基础会议：单价基础和集合论。查姆：斯普林格。合成。伦敦银行同业拆借利率。407, 223-253 (2019).
MSC公司：03A05号 00A30型 03E30年 第18页第15页
PDF格式BibTeX公司 XML格式引用
\textit{N.Barton}和\textit{S.-D.Friedman}，Synth。伦敦银行同业拆借利率。407223--253（2019年；Zbl 1528.03011）
全文： 内政部 链接
菲利普·韦尔奇。

从反射证明定理。 （英语） Zbl 1528.03211号

Centrone，Stefania（编辑）等人，《数学基础的思考》。单价基础、集合理论和一般思想。基于2016年7月18日至23日在德国比勒费尔德举行的FOMUS数学基础会议：单价基础和集合论。查姆：斯普林格。合成。伦敦银行同业拆借利率。407, 79-97 (2019).
MSC公司：03E55型 03E35号 03E30年
PDF格式BibTeX公司 XML格式引用
\textit｛P.D.Welch｝，合成。伦敦银行同业拆借利率。407、79-97（2019年；Zbl 1528.03211）
全文： 内政部 链接
梅林·卡尔；伊娃·马利亚·恩格伦

库尔特·哥德尔关于集合论的一些评论。（Einige Bemerkungen Kurt Gödels zur Mengenlehre） （德语） Zbl 1510.03002号

Daniel Koenig（编辑）等人，《新康德主义传统中的数学》。Siegen:universi–Universitaetsverrag Siegen大学。西根。拜特。盖世。菲洛斯。数学。11, 143-169 (2019).
MSC公司：03-03 03A05号 03E30年 01A60型
PDF格式BibTeX公司 XML格式引用
\textit{M.Carl}和\textit{E.-M.Engelen}，Siegen。拜特。盖施。菲洛斯。数学。11、143--169（2019年；Zbl 1510.03002）
贾格尔，格哈德；西尔维娅·斯特拉

从数学的普遍性到不动点和相关的集合理论概念。 （英语） Zbl 1469.03140号

Centrone，Stefania（编辑）等人，《通用数学、可计算性和证明》。基于2017年7月24日至28日在意大利科莫洛夫诺·迪·梅纳吉奥维拉维戈尼（Villa Vigoni）的德国-意大利欧洲卓越中心（German-Italian Centre for European Excellence）举行的洪堡-科尔勒格（Humboldt-Kolleg）“作为数学普适性的证明理论”。查姆：斯普林格。合成。伦敦银行同业拆借利率。412, 113-129 (2019).
MSC公司：03E30年 03财年03 35层03 03E45型
PDF格式BibTeX公司 XML格式引用
\textit{G.Jäger}和\textit{S.Steila}，Synth。伦敦银行同业拆借利率。41213-129（2019年；Zbl 1469.03140）
全文： 内政部
安德烈·亚历山德鲁；加布里埃尔·乔巴努

Fraenkel Mostowski公理集理论中的Dedekind无穷集。 （英语） Zbl 1463.03022号

牛市。数学。社会科学。数学。鲁姆。，努夫。Sér。 62（110），第1号，21-35（2019）.
审核人：皮埃尔·马特（卡昂）
MSC公司：03E70型 03E10年 03E25型 03E30年
PDF格式BibTeX公司 XML格式引用
\textit{A.Alexandru}和\textit{G.Ciobanu}，公牛。数学。社会科学。数学。鲁姆。，努夫。Sér。62（110），编号1，21-35（2019；Zbl 1463.03022）
M.Ram Murty先生；布兰登·福登

希尔伯特的第十个问题。介绍逻辑、数论和可计算性。 （英语） Zbl 1454.03003号

学生数学图书馆88.普罗维登斯，RI：美国数学学会（AMS）（ISBN 978-1-4704-4399-3/pbk；978-1-4740-5261-2/电子书）。xiii，第237页。(2019).
审核人：罗曼·穆拉夫斯基（波兹南）
MSC公司：03-01 03年月日 03F40型 03层45 03E30年 05年11月
PDF格式BibTeX公司 XML格式引用
\textit{M.R.Murty}和\textit{B.Fodden}，希尔伯特的第十个问题。介绍逻辑、数论和可计算性。普罗维登斯，RI:美国数学学会（AMS）（2019；Zbl 1454.03003）
全文： 内政部
阿诺·阿夫隆；沙哈尔·列夫；日产李维斯

安全性、绝对性和可计算性。 （英语） Zbl 1528.03183号

Ghica，Dan R.（编辑）等人，第27届EACSL计算机科学逻辑年会，CSL 2018，英国伯明翰，2018年9月4-8日。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。119，第8条，第17页（2018年）。
MSC公司：03D45号 03B25号 03E30年 第68页，共15页
PDF格式BibTeX公司 XML格式引用
\textit{A.Avron}等人，LIPIcs——莱布尼茨国际程序。通知。119，第8条，第17页（2018；Zbl 1528.03183）
全文： 内政部
米尔纳季阿蒙加；马可·潘扎

渐近拟完备与ZFC。 （英语） Zbl 1439.03085号

Walter Carnielli等人，《矛盾，从一致性到不一致性》。查姆：斯普林格。趋势日志。螺柱日志。伦敦银行同业拆借利率。47, 159-182 (2018).
MSC公司：03E30年 03A05号
PDF格式BibTeX公司 XML格式引用
\textit{M.Díamonja}和\textit{M.Panza}，趋势日志。螺柱日志。伦敦银行同业拆借利率。47159--182（2018年；Zbl 1439.03085）
全文： 内政部 链接
德克·霍夫曼。

强迫。介绍独立性证明的数学。（《强迫》（Forcing），艾恩·埃因夫（Eine Einführung）在《马塞马提克·德乌纳巴恩吉基茨贝伊斯》（Mathematik der Unabhängigkeitsbeweise）中。） （德语） Zbl 1428.03001号

Norderstedt：图书点播（ISBN 978-3-7460-4460-6/hbk）。第432页。(2018).
MSC公司：03-01 03E35号 03E30年
PDF格式BibTeX公司 XML格式引用
\textit{D.W.Hoffmann}，强制。Eine Einführung在Mathematik der Unabhängigkeitsbeweise中。Norderstedt：图书点播（2018；Zbl 1428.03001）
彼得·西蒙斯

勒希涅夫斯基和mereology。 （英语） Zbl 1406.03022号

Garrido，Angel（编辑）等人，《利沃夫-瓦沙学校》。过去和现在。查姆：Birkhä用户（ISBN 978-3-319-65429-4/hbk；978-3-3169-65430-0/电子书）。《通用逻辑研究》，337-359（2018）。
MSC公司：03-03 03A05号 03E30年 01A70号 01A60型
PDF格式BibTeX公司 XML格式引用
\textit{P.Simons}，收录于：利沃夫-瓦沙学校。过去和现在。查姆：Birkhäuser。337--359（2018；Zbl 1406.03022）
全文： 内政部

筛选结果依据…

文档类型

数据库

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

传记参考

全部的 前3名

软件