M.V.波波维奇。;Krymskij,S.B。;A.T.伊斯穆拉托夫。;V.T.金赞。;瓦西尔埃夫,S.A。;巴拉昆斯基,B.A。;于普里柳克。D。;北非维亚特基纳。;谢特恩,I.B。;G.I.多姆。;Omel’yanchik,V.I。;伯金,M.S。;库兹涅佐夫,V.I。 证明和理解。(Dokazatel的tvo i ponimanie)。 (俄语) Zbl 0677.03003号 基辅:Naukova Dumka。312 p.R.3.00(1986年)。MSC公司:03A05号 00A35型 01A60型 03-02 PDF格式BibTeX公司 XML格式
布鲁诺·波伊扎特 阿勒·劳斯·埃登。(伊甸园以西)。 (法语) Zbl 0675.03006号 J.塞姆。日志。 51, 795-816 (1986).MSC公司:03B60号 03C99号 00A30型 03A05号 PDF格式BibTeX公司 XML格式引用 \textit{B.Poizat},J.Symb。日志。51、795--816(1986年;Zbl 0675.03006) 全文: DOI程序
桑德斯·麦克莱恩 数学、形式和功能。 (英语) Zbl 0666.00019号 纽约等地:Springer-Verlag。十一、 第476页,128.00德国马克(1986年)。 审核人:A.博特纳 MSC公司:00A30型 00-01 00A05号 00A06号 03A05号 PDF格式BibTeX公司 XML格式
所罗门·马库斯 悖论。(对帕拉多索说)。(翻译自罗马尼亚语)。 (德语) Zbl 0649.00026号 阿赫塔纳:Ekdóseis Pneumatikós(Epistemonikes kai Technikes Ekdoseis G.A.Pneumatikou)。六、 第126页(1986年)。MSC公司:00A30型 03A05号 PDF格式BibTeX公司 XML格式
Perminov,V.Ya。 数学证明可靠性思想的发展。(Razvitie predstavlenij o nadezhnosti matematicheskogo dokazatel的tva)。 (俄语) Zbl 0646.00022号 莫斯科:莫斯科大学伊兹datel’stvo Moskovskogo Universiteta。240 p.R.1.00(1986年)。 审核人:注释 MSC公司:00A30型 03A05号 PDF格式BibTeX公司 XML格式
迈克尔·德特莱夫森 希尔伯特的程序。一篇关于数学工具主义的文章。 (英语) Zbl 0641.03001号 合成库第182卷。Dordrecht等:D.Reidel出版公司,Kluwer学术出版集团成员。十四、 186页。;英国国防部。98.00; $ 42.00; £27.95 (1986). 审核人:圣戈特瓦尔德 MSC公司:03-02 03A05号 00A30型 03B99号 03F99型 PDF格式BibTeX公司 XML格式
S.M.乌拉姆。 关于一些建构数学图式中的类比和复杂性概念。 (英语) Zbl 0628.03001号 高级数学。,补充螺柱9,35-45(1986)。 审核人:A.乌尔西尼 MSC公司:03A05号 00A30型 11U99型 PDF格式BibTeX公司 XML格式
阿尔汉格尔斯基。 关于数学的本质和基本数学结构。 (俄语。英文摘要) Zbl 0625.00030号 伊斯托。美托多。埃斯特夫。麦克,瑙克。32, 14-29 (1986). 审核人:B.M.Schein先生 MSC公司:00A30型 03A05号 PDF格式BibTeX公司 XML格式
彼得·帕平豪斯 Maschinen、Intelligenz und Selbstbezüglichkeit-Gedanken zu einem畅销书。 (德语) Zbl 0622.03008号 数学。塞梅斯特伯。 33, 213-226 (1986). 审核人:A.A.穆林 MSC公司:03A05号 68T05年 68吨10 00A30型 03D99号 PDF格式BibTeX公司 XML格式引用 \textit{P.Päppinghaus},数学。塞梅斯特伯。33、213--226(1986年;Zbl 0622.03008)
伊尔卡·尼尼洛托 理论、近似和理想化。 (英语) Zbl 0622.03002号 科学的逻辑、方法论和哲学VII,Proc。第七届国际会议。,萨尔茨堡1983年,《发现逻辑研究》。数学。114, 255-289 (1986). 审核人:I.古尔瓦克 MSC公司:03A05号 PDF格式BibTeX公司 XML格式
乔恩·巴韦斯 逻辑上的情况。一、。 (英语) Zbl 0617.03003号 科学的逻辑、方法论和哲学VII,Proc。第七届国际会议。,萨尔茨堡1983年,《发现逻辑研究》。数学。114, 183-203 (1986). 审核人:A.乌尔西尼 MSC公司:03A05号 PDF格式BibTeX公司 XML格式
梅迪,佩内洛普 数学炼金术。 (英语) Zbl 0614.03004号 Br.J.Philos博士。科学。 37, 279-314 (1986). 审核人:吉姆·麦肯齐 MSC公司:03A05号 00A30型 PDF格式BibTeX公司 XML格式引用 \textit{P.Maddy},Br.J.Philos。科学。37、279--314(1986年;Zbl 0614.03004) 全文: DOI程序
恩斯特·斯内珀 罗素悖论。 (英语) Zbl 0612.03002号 皮穆·埃普西隆J。 8, 281-291 (1986). 审核人:J.麦肯齐 MSC公司:03-01 03A05号 00A30型 PDF格式BibTeX公司 XML格式引用 \textit{E.Snapper},Pi Mu Epsilon J.8,281--291(1986;Zbl 0612.03002)
彼得·阿金斯坦 理论推导。 (英语) Zbl 0605.00022号 研究历史。菲洛斯。科学。 17, 375-414 (1986). 审核人:W.G.Engel公司 MSC公司:00A30型 03-03 01年5月 82-03 PDF格式BibTeX公司 XML格式引用 \textit{P.Achinstein},历史研究生。菲洛斯。科学。17,375--414(1986年;Zbl 0605.00022) 全文: DOI程序 OA许可证
鲁斯·巴坎·马库斯(编辑);乔治·多恩(Georg J.W.Dorn)。(编辑);保罗·温加特纳(编辑) 科学的逻辑、方法论和哲学VII。第七届国际逻辑、方法论和科学哲学大会论文集,萨尔茨堡,1983年。 (英语) Zbl 0591.00005 逻辑与数学基础研究,第114卷。阿姆斯特丹等地:荷兰北部。十三、 738页125.00美元;英国国防部。400.00(1986年)。MSC公司:00B25型 03-06 PDF格式BibTeX公司 XML格式
沃尔夫冈·斯特格米勒 智慧哲学与分析哲学的问题与结果。第二组:理论与Erfahrung。3.Teilband:1973年,Die Entwicklung des neuen Strukturalismus seit。 (德语) Zbl 0586.03001号 柏林等:Springer-Verlag。十八、 460 S.DM 198.00(1986)。 审核人:J.F.A.K.van Benthem MSC公司:03-02 03A05号 PDF格式BibTeX公司 XML格式
戈特洛布·弗雷格 泰尔,C。(编辑) Die Grundlagen der Arithmetik公司。Eine logisch mathematische Untersuchungüber den Begriff der Zahl。百岁那罗。米特·伯格(Mit erg.Texten kritisch)。冯·克里斯蒂安·蒂尔。 (德语) Zbl 0584.03001号 汉堡:Felix Meiner Verlag。LXIII,187 S.DM 120.00(1986年)。 审核人:R.穆拉夫斯基 MSC公司:03A05号 00A30型 01年第75页 PDF格式BibTeX公司 XML格式
桑德斯·麦克莱恩 数学:形式和功能。 (英语) Zbl 0675.00001号 纽约等地:Springer-Verlag。xi,476页(1986年)。 审核人:J.Dieudonné MSC公司:00A05号 00A30型 00A06号 03A05号 01A60型 01年5月 PDF格式BibTeX公司 XML格式引用 \textit{S.Mac Lane},《数学:形式与功能》。纽约等:Springer-Verlag(1986;Zbl 0675.00001)