×

找到88个文档（结果1-88）

最新 引文 相关性
吕西安·文西古拉

语言、可见性、差异。从经典时代到19世纪的数学话语史。（语言、可视性、差异性。《历史》讲述了古典数学的发展。） （法语） Zbl 1315.01007号

数学。巴黎：哲学图书馆J.Vrin（ISBN 978-2-7116-1394-6）。第368页。(1999).
MSC公司：01-02 01年05月 00A30型 03A05号
PDF格式BibTeX公司 XML格式引用
\textit{L.Vinciguerra}，语言，可见性，差异。《历史》讲述了古典数学的发展历程。巴黎：图书馆哲学J.Vrin（1999；Zbl 1315.01007）
贾罗·何塞·达席尔瓦

关于证明的概念。 （英语） Zbl 1041.03504号

爱德华·赫尔曼（Edward Hermann）等，《PRATICA》。证明、类型和类别。选自PRATICA'95、PRATICA'96和PRATICA'98的论文。里约热内卢：里约热内卢蓬蒂菲西亚大学（ISBN 85-900900-1-9/pbk）。213-219 (1999).
MSC公司：03A05号 00A30型
PDF格式BibTeX公司 XML格式引用
\textit{J.J.da Silva}，收录于：PRATICA。证明、类型和类别。选自PRATICA'95、PRATICA'96和PRATICA'98的论文。里约热内卢：里约热内罗蓬蒂菲西亚大学。213--219（1999；Zbl 1041.03504）
奥斯瓦尔多菲利奥城堡

证明和逻辑推理。 （英语） 兹比尔1041.03502

Haeusler，Edward Hermann（编辑）等人，PRATICA。证明、类型和类别。选自PRATICA'95、PRATICA'96和PRATICA'98的论文。里约热内卢：里约热内卢蓬蒂菲西亚大学（ISBN 85-900900-1-9/pbk）。79-98 (1999).
MSC公司：03A05号 00A30型
PDF格式BibTeX公司 XML格式引用
\textit{O.Chateaubriand Filho}，in：普拉蒂卡。证明、类型和类别。选自PRATICA'95、PRATICA'96和PRATICA'98的论文。里约热内卢：里约热内罗蓬蒂菲西亚大学。79-98（1999；Zbl 1041.03502）
道格拉斯·R·霍夫斯塔特。

哥德尔、埃舍尔、巴赫。永恒的金色辫子。20周年编辑。 （英语） Zbl 1014.03005号

牛津：基础书籍。第23、22、777页（1999年）。
审核人：Albert A.Mullin（麦迪逊）
MSC公司：03-01 03A05号 00A30型 03年月日 03B25号 68季度xx 92Bxx个 92-01 68泰克 68-01 00-01
PDF格式BibTeX公司 XML格式引用
\textit{D.R.Hofstadter}，哥德尔，埃舍尔，巴赫。永恒的金色辫子。20周年编辑牛津：基础图书（1999；Zbl 1014.03005）
保拉·巴索

哲学和几何学：兰伯特是欧几里得的解释者。（丝状线虫和几何线虫：Lambert interprete di Euclide。） （意大利语） Zbl 1026.01008号

伊尔菲拉雷特：Pubblicazioni della Facoltádi Lettere e Filosofia dell'米兰大学。米兰大学足球俱乐部。Sezione di Filosofia公司。183(29). 佛罗伦萨：La Nuova Italia Editrice SpA。x、 263页（1999年）。
审核人：维克托·潘布奇（Victor V.Pambuccian）（MR 2003e:01016）
MSC公司：01A50号 00A30型 01A20号 03A05号
PDF格式BibTeX公司 XML格式引用
\textit{P.Basso}，Filosofia e geometria:Lambert interprete di Euclide（意大利语）。佛罗伦萨：La Nuova Italia Editrice SpA（1999；Zbl 1026.01008）
卡拉瓦耶夫，E.F。

关于A.A.Markov一部鲜为人知的著作中的时态逻辑。 （俄语。英文摘要） Zbl 1001.03519号

Karpenko，A.S.（编辑）等人，《逻辑研究》。第六。1997年3月在俄罗斯莫斯科举行的第一届国际会议《斯米尔诺夫的读物》的论文。莫斯科：Izdatel’s tvo“Rossijskaya Politicheskaya Ehntsiklopediya”（ROSSPEHN）。186-194 (1999).
MSC公司：03B44号 03-03 01年6月 03A05号 83A05号
PDF格式BibTeX公司 XML格式引用
\textit{E.F.Karavaev}，in：罗切斯基issledovaniya。维普。6.莫斯科：《俄罗斯政治报》。186-194（1999年；兹bl 1001.03519）
杰拉西莫娃，I.A。（编辑）;A.S.卡彭科。（编辑）

哲学研究所逻辑中心科学研究研讨会论文集，1998年。（Trudy nauchno-issledovatel’s kogo seminaria Logicheskogo Tsentra Instituta Filosofii RAN.1998） （俄语） Zbl 0989.00030号

Trudy Nauchno-Issledovatel的科戈研讨会Logicheskogo Tsentra Instituta Filosofii RAN。莫斯科：Rossijskaya Akademiya Nauk，Institut Filosofiei。第226页（1999年）。
MSC公司：00B25型 03-06
PDF格式BibTeX公司 XML格式引用
\textit{I.A.Gerasimova}（编辑）和\textit{A.S.Karpenko}（主编），Trudy nauchno-issledovatel’S kogo sensimara Logicheskogo Tsentra Instituta Filosofii RAN.1998（俄语）。莫斯科：费洛索菲研究所Rossijskaya Akademiya Nauk（1999；Zbl 0989.00030）
玛丽亚·卡拉·加拉沃蒂

关于客观机会的一些评论（F.P.拉姆齐、K.R.波普尔和N.R.坎贝尔）。 （英语） Zbl 0983.03014号

Dalla Chiara、Maria Luisa（编辑）等，《语言、量子、音乐》。第十届国际逻辑、方法论和科学哲学大会论文，意大利佛罗伦萨，1995年8月。多德雷赫特：Kluwer学术出版社。合成。伦敦银行同业拆借利率。281, 73-82 (1999).
MSC公司：03B48号 60A05型 03-03 81第05页 03A05号
PDF格式BibTeX公司 XML格式引用
\文本{M.C.Galavotti}，Synth。伦敦银行同业拆借利率。281、73--82（1999；Zbl 0983.03014）
约翰·范·本特姆

更宽，更宽\（\点\）重置逻辑边界。 （英语） 兹比尔0993.03005

Varzi，Achille C.（编辑），《欧洲哲学评论》。第四卷：逻辑的本质。加利福尼亚州斯坦福：CSLI出版物。21-44 (1999).
审核人：路易斯·高布尔（塞勒姆）
MSC公司：03A05号
PDF格式BibTeX公司 XML格式引用
\textit{J.van Benthem}，《欧洲哲学评论》。第四卷：逻辑的本质。加利福尼亚州斯坦福：CSLI出版物。21-44（1999；Zbl 0993.03005）
埃尔曼诺·本西文加

逻辑是什么？ （英语） Zbl 0993.03004号

瓦尔齐（Achille C.Varzi）（编辑），《欧洲哲学评论》。第四卷：逻辑的本质。加利福尼亚州斯坦福：CSLI出版物。5-19 (1999).
审核人：路易斯·高布尔（塞勒姆）
MSC公司：03A05号
PDF格式BibTeX公司 XML格式引用
\textit{E.Bencivenga}，in：《欧洲哲学评论》。第四卷：逻辑的本质。加利福尼亚州斯坦福：CSLI出版物。5-19（1999；Zbl 0993.03004）
Dalla Chiara，玛丽亚·路易莎
罗伯托·吉安蒂尼（编辑）;费德里科·劳迪萨（编辑）

语言、量子、音乐。第十届国际科学逻辑、方法论和哲学大会论文，意大利佛罗伦萨，1995年8月。 （英语） Zbl 0971.00011号

Synthese库. 281. 多德雷赫特：Kluwer学术出版社。viii，第338页（1999年）。
MSC公司：00B25型 03-06 81-06
PDF格式BibTeX公司 XML格式引用
\textit{M.L.Dalla Chiara}等人，语言，量子，音乐。第十届国际逻辑、方法论和科学哲学大会论文，意大利佛罗伦萨，1995年8月。多德雷赫特：Kluwer学术出版社（1999；Zbl 0971.00011）
弗雷德·威尔逊

早期现代思想中的科学逻辑和方法论。七项研究。 （英语） 兹伯利0966.01002

多伦多哲学研究。多伦多：多伦多大学出版社。第二十四章，第608页（1999年）。
审核人：Peter Reichensperger（奥伯拉斯巴赫）
MSC公司：01A05号 03A05号 00A30型 01-02 03-02
PDF格式BibTeX公司 XML格式引用
\文本{F.威尔逊}，早期现代思想中的科学逻辑和方法论。七项研究。多伦多：多伦多大学出版社（1999；Zbl 0966.01002）
戈兰·桑德霍姆

直觉主义和逻辑宽容。 （英语） Zbl 0971.03004号

Woleñski，Jan（编辑）等人，Alfred Tarski和维也纳圈。逻辑经验主义中的澳波联系。国际会议论文，1997年7月12日至14日，奥地利维也纳。多德雷赫特：Kluwer学术出版社。维也纳广场。仪器年份。6, 135-148 (1999).
审核人：维克托·潘布奇（凤凰城）
MSC公司：03A05号 03-03 01年6月 00A30型
PDF格式BibTeX公司 XML格式引用
\textit{G.Sundholm}，维也纳广场。Inst.年。6135-148（1999年；兹bl 0971.03004）
简·塔斯基

哲学和数学在经典真理理论中的相互作用。 （英语） Zbl 0979.03005号

Woleñski，Jan（编辑）等人，Alfred Tarski和维也纳圈。逻辑经验主义中的澳波联系。国际会议论文，1997年7月12日至14日，奥地利维也纳。多德雷赫特：Kluwer学术出版社。维也纳广场。仪器年份。6, 95-108 (1999).
审核人：沃尔克·哈尔巴赫（康斯坦茨）
MSC公司：03A05号 00A30型 01年6月 03-03
PDF格式BibTeX公司 XML格式引用
\textit{J.Tarski}，维也纳马戏团。仪器年份。6、95——108（1999；Zbl 0979.03005）
埃德温·马雷斯（Edwin D.Mares）。

分离信息。 （英语） Zbl 0956.03003号

Moss，Lawrence S.（编辑）等人，《逻辑、语言和计算》。第2卷。第二届逻辑、语言和计算信息理论方法会议记录，英国伦敦，1996年7月。加利福尼亚州斯坦福：CSLI出版物。CSLI法律。笔记。96, 165-178 (1999).
MSC公司：03A05号 03B47号 00A79号
PDF格式BibTeX公司 XML格式引用
\textit{E.D.Mares}，in：逻辑、语言和计算。第2卷。第二届逻辑、语言和计算信息理论方法会议记录，英国伦敦，1996年7月。加利福尼亚州斯坦福：CSLI出版物。165-178（1999年；兹bl 0956.03003）
帕特里克·塞吉尔斯基

数学基础。（数学题库） （法语） Zbl 0959.03003号

米歇尔·塞尔法蒂（编辑），《宗教复兴》。巴黎：ACL-Les Editions du Kangourou。数学标准。175-209 (1999).
审核人：N.A.Soare（布库雷什蒂）
MSC公司：03年3月 01年6月 03E30年 00A30型
PDF格式BibTeX公司 XML格式引用
\文本｛P.Cegielski｝，在：La recherche de La vérité。巴黎：ACL——《康古鲁纪事报》。175-209（1999；Zbl 0959.03003）
米歇尔·塞尔法蒂

不确定性的辩证法，从维耶特到弗雷格和罗素。（《最后的方言》，《弗雷格与罗素》。） （法语） Zbl 0964.00005号

米歇尔·塞尔法蒂（编辑），《宗教复兴》。巴黎：ACL-Les Editions du Kangourou。数学标准。145-174 (1999).
审核人：鲁道夫·塔什内尔（维也纳）
MSC公司：00A30型 00A35型 01A05号 03A05号 03-03
PDF格式BibTeX公司 XML格式引用
\textit{M.Serfati}，in：La recherche de La ve rité。巴黎：ACL——《康古鲁纪事报》。145-174（1999年；Zbl 0964.00005）
牛顿·C·A·达·科斯塔。
[珍妮·伊夫·贝齐奥;帕帕维罗，N。;F.A.多利亚。;马加莱斯，J.C.M。]

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

科莱索·费洛索菲亚·达·西尼亚和认识论。圣保罗：社论。300页（1999年）。
审核人：B.M.Schein（费耶特维尔）
MSC公司：03-06 03A05号 00A30型 03B42号 03B53号 01A75号 03-03
PDF格式BibTeX公司 XML格式引用
\textit{N.C.A.da Costa}，O conhecimento científico（葡萄牙语）。第二版圣保罗：社论（1999；Zbl 0955.03009）
托马斯·普莱克

数学直觉主义和主体间性。对直觉主义论点的批判性阐述。 （英语） Zbl 0942.03001号

Synthese库. 279. 多德雷赫特：Kluwer学术出版社。xii，第218页（1999年）。
审核人：B.Boričić（贝尔格莱德）
MSC公司：03-02 03A05号 00A30型 03-03 03B20型 03楼55 01年6月
PDF格式BibTeX公司 XML格式引用
\textit{T.Placek}，数学直觉主义和主体间性。直觉主义论据的批判性阐述。多德雷赫特：Kluwer学术出版社（1999；Zbl 0942.03001）
托马斯·弗鲁查特;朱塞佩·隆戈

卡纳普关于非指示性定义和一般性定理的评论。 （英语） Zbl 0946.03073号

安德烈·坎蒂尼（编辑）等人，《逻辑与数学基础》。1995年8月19日至25日，佛罗伦萨，第十届国际逻辑、方法论和科学哲学大会论文集。多德雷赫特：Kluwer学术出版社。合成。伦敦银行同业拆借利率。280, 41-55 (1999).
MSC公司：03楼50 00A30型 03A05号 03英尺30英寸 35楼03号
PDF格式BibTeX公司 XML格式引用
\textit{T.水果图}和\textit{G.隆戈}，合成。伦敦银行同业拆借利率。280、41-55（1999年；Zbl 0946.03073）
杰弗里·赫尔曼

必需品的一些来龙去脉：模态结构视角。 （英语） Zbl 0946.03004号

安德烈·坎蒂尼（编辑）等人，《逻辑与数学基础》。1995年8月19日至25日，佛罗伦萨，第十届国际逻辑、方法论和科学哲学大会论文集。多德雷赫特：Kluwer学术出版社。合成。伦敦银行同业拆借利率。280, 25-39 (1999).
MSC公司：03A05号 00A30型 35楼03号 03B45号
PDF格式BibTeX公司 XML格式引用
\textit{G.Hellman}，Synth。伦敦银行同业拆借利率。280、25-39（1999；Zbl 0946.03004）
S.Barry库珀

发条还是图灵U/宇宙？关于因果决定论和可计算性的评论。 （英语） Zbl 0944.03029号

Cooper，S.Barry（编辑）等人，《模型和可计算性》。1997年7月6日至13日，英国利兹，符号逻辑协会欧洲会议，1997年逻辑学术讨论会邀请论文。剑桥：剑桥大学出版社。伦敦。数学。Soc.Lect（社会学）。注释序列号。259, 63-116 (1999).
审核人：U.Schöning（乌尔姆）
MSC公司：03日第10天 03B30型 03日30分 03天35分 03A05号 00A30型 第68季度01 2005年第68季度 68问题30
PDF格式BibTeX公司 XML格式引用
\textit{S.B.Cooper}，伦敦。数学。Soc.Lect（社会学）。注释序列号。259、63-116（1999；Zbl 0944.03029）
保罗·贝纳塞拉夫

数学真理不可能是什么。或者：透过黑暗的玻璃。 （英语） Zbl 0943.0302号

Cooper，S.Barry（编辑）等，《集合与证明》。1997年7月6日至13日，英国利兹，符号逻辑协会欧洲会议，1997年逻辑学术讨论会邀请论文。剑桥：剑桥大学出版社。伦敦。数学。Soc.Lect（社会学）。注释序列号。258, 27-51 (1999).
审核人：L.F.Goble（塞勒姆）
MSC公司：03A05号 00A30型
PDF格式BibTeX公司 XML格式引用
\文本{P.Benacerraf}，伦敦。数学。Soc.Lect（社会学）。注释序列号。258、27-51（1999；Zbl 0943.0302）
安德烈亚·坎蒂尼（编辑）;埃托雷·卡萨里（编辑）;皮埃尔路易吉·米纳里（编辑）

逻辑和数学基础。1995年8月19日至25日，佛罗伦萨，第十届国际逻辑、方法论和科学哲学大会论文集。 （英语） Zbl 0927.00020

Synthese库. 280. 多德雷赫特：Kluwer学术出版社。viii，第282页（1999年）。
MSC公司：00B25型 03-06 00A30型 2006年1月1日
PDF格式BibTeX公司 XML格式引用
\textit{A.Cantini}（编辑）等人，《逻辑与数学基础》。1995年8月19日至25日，佛罗伦萨，第十届国际逻辑、方法论和科学哲学大会论文集。多德雷赫特：Kluwer学术出版社（1999；Zbl 0927.00020）
罗萨多·哈多克（Rosado Haddock），吉列尔莫·E·。

成为弗雷琴人还是胡塞尔人：这是柏拉图主义者的问题。 （英语） Zbl 0944.0302号

Walter A.Carnielli等人，《当代逻辑和计算机科学进展》。第11届巴西数理逻辑会议论文集，巴西巴伊亚州萨尔瓦多。1996年5月6日至10日。普罗维登斯，RI：美国数学学会。康斯坦普。数学。235, 295-312 (1999).
审核人：Alesandro Garciadiego（墨西哥）
MSC公司：03A05号 00A30型 03年3月
PDF格式BibTeX公司 XML格式引用
\textit{G.E.Rosado Haddock}，康斯坦普。数学。235、295--312（1999；Zbl 0944.0302）
阿纳波利塔诺（Anapolitanos），狄奥尼西奥斯（Dionysios A）。

莱布尼茨：表现、连续性和时空。 （英语） Zbl 0933.01009号

科学与哲学。7.多德雷赫特：Kluwer学术出版社。xii，195 p.（1999）。
审核人：J.J.伯克哈特（苏黎世）
MSC公司：01A45号 00A30型 03A05号
PDF格式BibTeX公司 XML格式引用
\textit{D.A.Anapolitanos}，莱布尼茨：表现、连续性和时空。多德雷赫特：Kluwer学术出版社（1999；Zbl 0933.01009）
罗伯特·班克斯。

切片披萨、赛跑乌龟和应用数学的进一步冒险。 （英语） Zbl 0939.0003号

新泽西州普林斯顿：普林斯顿大学出版社。第286页（1999年）。
审核人：赫尔穆特·科彻（德累斯顿）
MSC公司：00A08号 00A07年 00A69号 00-01 03-01 00A30型
PDF格式BibTeX公司 XML格式引用
\textit{R.B.Banks}，披萨切片，海龟赛跑，以及应用数学的进一步冒险。新泽西州普林斯顿：普林斯顿大学出版社（1999；Zbl 0939.00003）
H.M.Hubey。

对角线无穷大：多重尺度问题。包括1张CD-ROM。 （英语） Zbl 1054.03001号

新加坡：世界科学（ISBN 981-02-3755-3/hbk；981-02-3081-8）。第二十二、522页。(1999).
审核人：弗拉基克·雅。克雷诺维奇（埃尔帕索）
MSC公司：03-02 03A05号 00A30型 37D45号 37新元 2005年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{H.M.Hubey}，对角线无穷大：多重尺度问题。包括1张CD-ROM。新加坡：世界科学（1999；Zbl 1054.03001）

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前3名

主字段

传记参考