伊沃·佩兹拉 意义和计算：可计算命题的两种方法。 （英语） Zbl 07547736号 Silva，Alexandra（编辑）等人，《逻辑、语言、信息和计算》。第27届国际研讨会，WoLLIC 2021，虚拟活动，2021年10月5日至8日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13038, 100-116 (2021).MSC公司：03B70号 PDF格式BibTeX公司 XML格式引用 \发短信给Lect。注释计算。科学。13038，100-116（2021；Zbl 07547736） 全文： 内政部
迈克尔·比尼 正在翻译'意义弗雷格的作品：翻译史和翻译哲学中的一个案例研究和警示故事。 （英语） Zbl 1465.03003号 菲利普·埃伯特（编辑）等人，《弗雷格的论文》算术基本定律牛津：牛津大学出版社。588-636 (2019).MSC公司：03-03 01A05号 01年6月 00A30型 PDF格式BibTeX公司 XML格式引用 \textit{M.Beaney}，in：弗雷格的论文\textit{算术基本定律}。牛津：牛津大学出版社。588--636（2019年；1465.03003兹罗提） 全文： 内政部
乌苏拉州Wybraniec-Skardowska 一阶量词的类别。 （英语） Zbl 1522.03106号 Garrido，Angel（编辑）等人，《利沃夫-瓦沙学校》。过去和现在。查姆：Birkhäuser。通用螺栓。日志。，763-777 (2018).MSC公司：07年3月 03A05号 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{U.Wybraniec-Skardowska}，收录于：Lvov-Warsaw学校。过去和现在。查姆：Birkhäuser。763--777（2018；Zbl 1522.03106） 全文： 内政部 链接
帕维尔·马特拉纳 哲学分析语言的两种方法。 （英语） Zbl 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） 全文： 内政部
乌苏拉州Wybraniec-Skardowska 关于元知识和真理。 （英语） 兹比尔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） 全文： 内政部
米基图莫夫，I.B。 意向逻辑中的组合概念化。 （俄语。英文摘要） Zbl 1106.03306号 Karpenko，A.S.（编辑），《逻辑研究》。12.莫斯科：瑙卡（ISBN 5-02-034966-6/hbk）。211-225 (2005).MSC公司：03A05号 03B60号 PDF格式BibTeX公司 XML格式引用 \textit{I.B.Mikirtumov}，in：罗切斯基issledovaniya。12.莫斯科：瑙卡。211-225（2005；Zbl 1106.03306）
米基图莫夫，I.B。 内涵逻辑中的组合类型和非组合类型。 （俄语。英文摘要） Zbl 1073.03510号 Karpenko，A.S.（编辑），《逻辑研究》。11.莫斯科：瑙卡（ISBN 5-02-033542-8/hbk）。200-214 (2004).MSC公司：03A05号 PDF格式BibTeX公司 XML格式引用 \textit{I.B.Mikirtumov}，in：罗切斯基issledovaniya。11.莫斯科：瑙卡。200-214（2004；Zbl 1073.03510）
比尔，Jc 关于外延的奇点理论。 （英语） Zbl 1134.03302号 Beall，J.C.（编辑），《骗子和堆》。关于悖论的新论文。牛津：克拉伦登出版社（ISBN 0-19-926481-3/pbk；0-19-9264 80-5/hbk）。235-261 (2003).MSC公司：03A05号 PDF格式BibTeX公司 XML格式引用 \textit{J.Beall}，in：骗子和堆。关于悖论的新论文。牛津：克拉伦登出版社。235-261（2003；Zbl 1134.03302）
基思·西蒙斯 参考和悖论。 （英语） Zbl 1134.03311号 Beall，J.C.（编辑），《骗子和堆》。关于悖论的新论文。牛津：克拉伦登出版社（ISBN 0-19-926481-3/pbk；0-19-9264 80-5/hbk）。230-252 (2003).MSC公司：03A05号 PDF格式BibTeX公司 XML格式引用 \textit{K.Simmons}，in：骗子和堆。关于悖论的新论文。牛津：克拉伦登出版社。230-252（2003年；Zbl 1134.03311）
特伦斯·帕森斯 意义和外延的逻辑：扩展和应用。 （英语） 兹比尔1023.0004 Anderson，C.Anthony（编辑）等人，《逻辑、意义和计算》。纪念阿隆佐教堂的文章。多德雷赫特：Kluwer学术出版社。合成。伦敦银行同业拆借利率。305, 507-543 (2001).MSC公司：03A05号 PDF格式BibTeX公司 XML格式引用 \textit{T.Parsons}，合成。伦敦银行同业拆借利率。305507--543（2001年；Zbl 1023.03004）
Edward N.扎尔塔。 Fregean感官、呈现方式和概念。 （英语） 邮编：1047.03008 詹姆斯·汤伯林（编辑），《形而上学》，2001年。牛津：布莱克威尔出版社（ISBN 0-631-23029-7/pbk；0-631-2328-9/hbk）。《哲学观点》15，335-359（2001）。 审核人：沃尔克·佩克豪斯（帕德博恩） MSC公司：03A05号 PDF格式BibTeX公司 XML格式引用 \textit{E.N.Zalta}，菲洛斯。透视。15、335--359（2001年；Zbl 1047.03008）
绪方一郎 构造性经典逻辑的CPS变换。 （英语） Zbl 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）
赫尔曼·R·杰维尔。 动态数据结构。 （英语） Zbl 0957.03064号 Cantini，Andrea（编辑）等人，《逻辑与数学基础》。1995年8月19日至25日，佛罗伦萨，第十届国际逻辑、方法论和科学哲学大会论文集。多德雷赫特：Kluwer学术出版社。合成。伦敦银行同业拆借利率。280, 239-247 (1999). 审核人：迪米特鲁·布斯内格（克雷奥瓦） MSC公司：03G30型 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). 审核人：Jānis Cīrulis（里加） MSC公司：03-03 01年6月 03A05号 03B65号 PDF格式BibTeX公司 XML格式引用 \textit{R.Poli}和\textit{M.Libardi}，Synth。伦敦银行同业拆借利率。273、139--152（1998年；Zbl 0969.03003）
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）