×

找到63个文档（结果1–63）

最新 引文 关联
伊沃·佩兹拉

意义和计算：可计算命题的两种方法。 （英语） Zbl 07547736号

Silva，Alexandra（编辑）等人，《逻辑、语言、信息和计算》。第27届国际研讨会，WoLLIC 2021，虚拟活动，2021年10月5日至8日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13038, 100-116 (2021).
MSC公司：03B70型
PDF格式BibTeX公司 XML格式引用
\textit{I.Pezlar}，莱克特。注释计算。科学。13038，100-116（2021；Zbl 07547736）
全文： 内政部
迈克尔·比尼

正在翻译'意义弗雷格的作品：翻译史和翻译哲学中的一个案例研究和警示故事。 （英语） Zbl 1465.03003号

菲利普·埃伯特（编辑）等人，《弗雷格的论文》算术基本定律牛津：牛津大学出版社。588-636 (2019).
MSC公司：03-03 01A05号 01A60型 00A30型
PDF格式BibTeX公司 XML格式引用
\textit{M.Beaney}，in：弗雷格的论文\textit{算术基本定律}。牛津：牛津大学出版社。588--636（2019年；1465.03003兹罗提）
全文： 内政部
乌尔苏拉·怀布兰尼克·斯卡多夫斯卡

一阶量词的类别。 （英语） 兹比尔1522.03106

Garrido，Angel（编辑）等人，《利沃夫-瓦沙学校》。过去和现在。查姆：Birkhäuser。通用螺栓。日志。，763-777 (2018).
MSC公司：03C07号机组 03A05号 05年3月
PDF格式BibTeX公司 XML格式引用
\textit{U.Wybraniec-Skardowska}，收录于：Lvov-Warsaw学校。过去和现在。查姆：Birkhäuser。763--777（2018；Zbl 1522.03106）
全文： 内政部 链接
帕维尔·马特拉纳

哲学分析语言的两种方法。 （英语） 兹比尔1372.03011

Arazim，Pavel（编辑）等人，《2014年逻辑年鉴》。2014年6月16日至20日，第28届年度国际研讨会Logica会议记录，捷克共和国赫尼策修道院。伦敦：学院出版物（ISBN 978-1-84890-177-3/pbk）。203-213 (2015).
MSC公司：03A05号 03B65号
PDF格式BibTeX公司 XML格式引用
\textit{P.Materna}，收录于：2014年Logica年鉴。2014年6月16日至20日，捷克共和国赫尼茨修道院，第28届罗吉卡国际年会会议记录。伦敦：学院出版物。203-213（2015；Zbl 1372.03011）
汉森，卡斯珀·斯托姆

Kripkean解决外延悖论。 （英语） Zbl 1372.03010号

丹尼尔·拉斯特（编辑）等人，《逻辑、语言和计算的新方向》。ESSLLI 2010和ESSLLI2011学生课程。精选论文。柏林：施普林格出版社（ISBN 978-3-642-31466-7/pbk）。计算机科学课堂讲稿7415，212-220（2012）。
MSC公司：03A05号
PDF格式BibTeX公司 XML格式引用
\textit{C.S.Hansen}，莱克特。注释计算。科学。7415212--220（2012；Zbl 1372.03010）
全文： 内政部
本杰明·特克西尔;凯文·祖姆布伦

爆轰波向纵向不稳定性的转变通常与Hopf分岔到时间周期驰振解有关。 （英语） 兹伯利1217.35138

Commun公司。数学。物理学。 302，第1期，1-51页（2011年）.
审核人：成和（北京）
MSC公司：35季度30 76N15型 35B32型 35B35型 76E19型
PDF格式BibTeX公司 XML格式引用
\textit{B.Texier}和\textit{K.Zumbrun}，Commun。数学。物理学。302，第1号，1--51（2011；Zbl 1217.35138）
全文： 内政部 arXiv公司
乌苏拉州Wybraniec-Skardowska

关于元知识和真理。 （英语） Zbl 1162.03007号

戴维·梅金森（编辑）等人，《走向数学哲学》。2006年9月1日至4日在波兰托伦举行的Studia Logica会议《逻辑四的趋势》上发表的论文。柏林：施普林格出版社（ISBN 978-1-4020-9083-7/hbk；978-1-4020-9084-4/电子书）。逻辑趋势——Studia Logica Library 28，319-343（2009）。
MSC公司：03A05号 03B65号
PDF格式BibTeX公司 XML格式引用
\textit｛U.Wybraniec Skardowska｝，in：走向数学哲学。2006年9月1日至4日在波兰托伦举行的Studia Logica会议《逻辑四的趋势》上发表的论文。柏林：斯普林格。319--343（2009年；Zbl 1162.03007）
全文： 内政部
马库斯·米歇尔布林克

关于集合论弱碎片证明理论的有限处理：（mathbf{KP}+\Pi_3）-自反。（Zur endlichen Behandlung der Beweistheorie schwacher Fragmente der Mengenlehre:\（\mathbf{KP}+\Pi_3\）-反射。） （德语） Zbl 1070.03038号

汉诺威：汉诺威大学数学与信息学院（论文）。第94页。(2000).
MSC公司：2015年1月3日 03E70型 03-02 03财年03 05年3月 07年3月 35层03 35楼03号 03D20日
PDF格式BibTeX公司 XML格式引用
\textit{M.Michelbrink}，Zur endlichen Behandrung der Beweistheorie schwacher Fragmente der Mengenlehre:\（\mathbf{KP}+\Pi_3\）-反射。汉诺威：汉诺威大学数学与信息学院（论文）（2000；Zbl 1070.03038）
全文： 链接
一郎绪方

构造性经典逻辑的CPS变换。 （英语） 兹比尔0954.03063

Thiagarajan，P.S.（编辑）等人，《计算科学进展——99年亚洲》。第五届亚洲计算科学会议，泰国普吉岛，1998年12月8日至10日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1742, 266-280 (1999).
MSC公司：05年3月 60年第68季度 03B40型 68甲18
PDF格式BibTeX公司 XML格式引用
\textit{I.Ogata}，莱克特。注释计算。科学。1742，266--280（1999；Zbl 0954.03063）
赫尔曼·杰维尔。

动态数据结构。 （英语） Zbl 0957.03064号

安德烈·坎蒂尼（编辑）等人，《逻辑与数学基础》。1995年8月19日至25日，佛罗伦萨，第十届国际逻辑、方法论和科学哲学大会论文集。多德雷赫特：Kluwer学术出版社。合成。伦敦银行同业拆借利率。280, 239-247 (1999).
审核人：迪米特鲁·布斯涅格（克雷奥瓦）
MSC公司：03克30 06年05月 68问题55 2005年第68季度 68第05页
PDF格式BibTeX公司 XML格式引用
\textit{H.R.Jervell}，Synth。伦敦银行同业拆借利率。280、239--247（1999；Zbl 0957.03064）
安东·塞泽尔

顺序系统。 （英语） Zbl 0944.03054号

Cooper，S.Barry（编辑）等，《集合与证明》。1997年7月6日至13日，英国利兹，符号逻辑协会欧洲会议，1997年逻辑学术讨论会邀请论文。剑桥：剑桥大学出版社。伦敦。数学。Soc.Lect（社会学）。注释序列。258, 301-338 (1999).
审核人：Helmut Pfeiffer（汉诺威）
MSC公司：2015年1月3日
PDF格式BibTeX公司 XML格式引用
\textit｛A.Setzer｝，伦敦。数学。Soc.Lect（社会学）。注释序列号。258301--338（1999；Zbl 0944.03054）
罗伯托·波利;马西莫·利巴迪

勒希涅夫斯基的逻辑概念。 （英语） Zbl 0969.03003号

Kijania-Placek，Katarzyna（编辑）等人，《利沃夫-瓦沙学派与当代哲学》。会议论文，乌克兰利沃夫（利沃夫），1995年11月15日至17日，波兰华沙，1995年10月19日至21日。多德雷赫特：Kluwer学术出版社。合成。伦敦银行同业拆借利率。273, 139-152 (1998).
审核人：朱尼斯·切鲁利斯（里加）
MSC公司：03-03 01A60型 03A05号 03B65号
PDF格式BibTeX公司 XML格式引用
\textit{R.Poli}和\textit{M.Libardi}，Synth。伦敦银行同业拆借利率。273、139--152（1998年；Zbl 0969.03003）
亨宁·辛茨

名义主义。第一实体的首要性与谓词的本体论。（提名。前Substanz首席执行官与Prädikation首席执行官。） （德语） Zbl 0957.03004号

专题讨论会。哲学Schriftenreihe。112.弗莱堡/慕尼黑：Verlag Karl Alber。380 S.DM 98.00（1998年）。
审核人：沃尔克·佩克豪斯（爱尔兰根）
MSC公司：03A05号 00A30型 01A35型 03-03 03-02
PDF格式BibTeX公司 XML格式引用
\textit{H.Hintze}，名义主义。初级变电站与初级变电站。弗莱堡/慕尼黑：Verlag Karl Alber（1998；Zbl 0957.03004）
Moschovakis，Yiannis N。

作为算法和价值的意义和外延。 （英语） Zbl 0823.03022号

Oikkonen，Juha Markku Robert（编辑）等人，《90年逻辑学术讨论会》。1990年7月15日至22日，ASL夏季会议在芬兰赫尔辛基举行。柏林：Springer-Verlag。莱克特。注释日志。2, 210-249 (1993).
审核人：G.Mints（斯坦福大学）
MSC公司：03D75号 03B25号 03A05号
PDF格式BibTeX公司 XML格式引用
\textit{Y.N.莫斯科}，莱克特。注释日志。2210--249（1993；Zbl 0823.03022）
埃尔曼诺·本西文加;兰伯特，卡雷尔;范·弗雷森（Bas C.van Fraassen）。

逻辑、二价和外延。2.编辑。 （英语） Zbl 0777.03001号

加利福尼亚州阿塔斯卡德罗：Ridgeview Publishing Co.x，203 p.（1991）。
审核人：O.Sonobe（福洛妮卡）
MSC公司：03-01 03A05号 03B60号 03B05号 03B10号机组
PDF格式BibTeX公司 XML格式引用
\textit{E.Bencivenga}等人，《逻辑，二价和外延》。2.ed.Atascadero，CA：Ridgeview Publishing Co.（1991；Zbl 0777.03001）
巴克马斯特，J.D。（编辑）;Takeno，T。（编辑）
[卡皮拉，A.K。;S.D.斯图尔特。;Bdzil，J.B。;南部Tsugé。;科莫托，H。;T.尼奥卡。;威廉姆斯，F.A。;A.Umemura。;D.W.Mikolaitis。;米塔尼，T。;石冢，S。;西冈，M。;约翰逊，R.E。;马塔隆，M。;吉田，A。;法律，C.K。]

燃烧科学中的数学建模。1987年8月17日至21日在加拿大朱诺举行的会议记录。 （英语） Zbl 0658.76003号

物理课堂讲稿, 299. 柏林等：Springer-Verlag。vi，168 p.DM 40.00（1988年）。
审核人：R.H.W.霍普
MSC公司：76-06 00B25型 76升05 80A32型
PDF格式BibTeX公司 XML格式引用
\textit{J.D.Buckmaster}（编辑）和textit{T.Takeno}（主编），燃烧科学中的数学建模。1987年8月17日至21日在加拿大朱诺举行的会议记录。柏林等：施普林格出版社（1988年；Zbl 0658.76003）
威尔弗里德·巴赫霍尔茨;库尔特·舒特

Ein Ordinalzahlensystem für为理论Abgrenzung der \（\Pi^1_2 \）-分离和Bar-Inducktion。 （德语） Zbl 0573.03028号

Sitzungsber.公司。，拜耳。阿卡德。威斯。，数学-大自然。克利尼亚。 1983, 99-132 (1984).
审核人：H.R.杰维尔
MSC公司：2015年1月3日
PDF格式BibTeX公司 XML格式引用
\textit｛W.Buchholz｝和\textit｛K.Schütte｝，锡宗斯伯。，拜耳。阿卡德。威斯。，数学-大自然。Kl.1983，99-132（1984；Zbl 0573.03028）

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

传记参考

软件