卡尔·施莱赫塔 真理和知识。 （英语） Zbl 1504.03004号 逻辑研究（伦敦）93.逻辑和论证研究。伦敦：学院出版物（ISBN 978-1-84890-403-3/pbk）。204页。(2022).MSC公司：03-02 03年05月 03B42号 PDF格式BibTeX公司 XML格式引用 \文本{K.Schlechta}，真理与知识。伦敦：学院出版物（2022；Zbl 1504.03004） 全文： arXiv公司
弗朗西斯·尼西姆 连接逻辑的观点。 （英语） Zbl 1530.03009 逻辑研究（伦敦）91.伦敦：学院出版物（ISBN 978-1-84890-370-8）。十六、235页。(2021).MSC公司：03-02 03B45号 03B47号 03B60号 PDF格式BibTeX公司 XML格式引用 \textit{N.Francez}，连接逻辑视图。伦敦：学院出版物（2021；Zbl 1530.03009）
阿德里安·雷祖什 证人理论。关于\（\lambda\）-微积分和逻辑的注释。 （英语、法语） Zbl 07241864号 逻辑研究（伦敦）84.伦敦：学院出版物（ISBN 978-1-84890-326-5）。xiii，第375页。(2020).MSC公司：03-02 03B40型 PDF格式BibTeX公司 XML格式引用 \文本{A.Rezuş}，证人理论。关于\（\lambda\）-演算和逻辑的注释。伦敦：学院出版物（2020；Zbl 07241864）
马吕斯·乌尔班斯基（编辑）;托马斯·斯科拉（编辑）;Łupkowski，Paweł（编辑） 推理：游戏、认知、逻辑。波兹南推理周会议记录，波兰波兹南，2018年9月11日至15日。 （英语） Zbl 1456.03004号 逻辑研究（伦敦）83.伦敦：学院出版物（ISBN 978-1-84890-325-8/pbk）。x、 203页。(2020).MSC公司：03-06 03Bxx号 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{M.Urbaánski}（编辑）等人，《推理：游戏、认知、逻辑》。波兹南推理周会议记录，波兰波兹南，2018年9月11-15日。伦敦：学院出版物（2020；Zbl 1456.03004）
拉克拉夫斯克，吉伊 信仰态度、细粒度的超内涵和类型理论逻辑。 （英语） Zbl 1473.03002号 逻辑研究（伦敦）88.伦敦：学院出版物（ISBN 978-1-84890-334-0/pbk）。十六、227页。(2020).MSC公司：03-02 03B42号 03B38型 PDF格式BibTeX公司 XML格式引用 \textit{J.拉克拉夫斯克}，信念态度，细粒度超内涵和类型理论逻辑。伦敦：学院出版物（2020；Zbl 1473.03002）
路易斯·奥古斯托。 形式逻辑。经典问题和证明。 （英语） Zbl 1451.03001号 逻辑研究（伦敦）82.伦敦：学院出版物（ISBN 978-1-84890-317-3）。xix，第404页。(2019).MSC公司：03-01 03年05月 03B10号机组 03B25号 03B35型 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{L.M.Augusto}，形式逻辑。经典问题和证明。伦敦：学院出版物（2019；Zbl 1451.03001）
大卫·比林顿 事实和似是而非的推理。 （英语） Zbl 1420.03003号 逻辑研究（伦敦）81.数学逻辑和基础。伦敦：学院出版物（ISBN 978-1-84890-303-6/pbk）。268页。(2019).MSC公司：03-02 2002年8月 03B60号 03B70号 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{D.Billington}，事实和似是而非的推理。伦敦：学院出版物（2019；Zbl 1420.03003）
罗马库兹涅茨;托马斯·施图德 证明和理由的逻辑。 （英语） Zbl 1457.03004号 逻辑研究（伦敦）80.数学逻辑和基础。伦敦：学院出版物（ISBN 978-1-84890-168-1/pbk）。十六、225页。(2019). 审核人：Osamu Sonobe（福洛尼卡） MSC公司：03-02 03B42号 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{R.Kuznets}和\textit{T.Studer}，证明和证明的逻辑。伦敦：学院出版物（2019；Zbl 1457.03004）
卢卡·波萨蒂。 游戏迭代次数。可计算性理论的哲学导论。 （英语） Zbl 1420.03004号 逻辑研究（伦敦）79.伦敦：学院出版物（ISBN 978-1-84890-298-5/pbk）。ix，185页。(2019).MSC公司：03-02 03年05月 03B60号 03月xx日 PDF格式BibTeX公司 XML格式引用 \textit{L.M.Possati}，游戏迭代编号。可计算性理论的哲学导论。伦敦：学院出版物（2019；Zbl 1420.03004）
马克斯·弗伦德（Max A.Freund）。（编辑）;马克斯·费尔南德斯·德·卡斯特罗（编辑）;马可·鲁菲诺（编辑） 逻辑和逻辑哲学。拉丁美洲和西班牙的近期趋势。 （英语） Zbl 1423.03015号 逻辑研究（伦敦）78.伦敦：学院出版物（ISBN 978-1-84890-293-0/pbk）。xx，300页。(2018).MSC公司：03-06 03年05月 03Bxx号 00B15号机组 PDF格式BibTeX公司 XML格式引用 \textit{M.A.Freund}（编辑）等人，《逻辑与逻辑哲学》。拉丁美洲和西班牙的近期趋势。伦敦：学院出版物（2018；Zbl 1423.03015）
阿诺·阿夫隆;奥费尔·阿列利;安娜·扎曼斯基 有效命题次协调逻辑理论。 （英语） Zbl 1448.03001号 逻辑研究（伦敦）75.数学逻辑和基础。伦敦：学院出版物（ISBN 978-1-84890-270-1/pbk）。第二十四章，第550页。(2018).MSC公司：03-02 03B53号 PDF格式BibTeX公司 XML格式引用 \textit｛A.Avron｝等人，有效命题准一致逻辑理论。伦敦：学院出版物（2018；Zbl 1448.03001）
奥德修斯·马克里迪斯 探索形式逻辑。第二卷：谓词逻辑的语义和证明理论。 （英语） Zbl 1441.03003号 逻辑研究（伦敦）72.伦敦：学院出版物（ISBN 978-1-84890-267-1/pbk）。xiv，403页。，24页/指数（2018）。 审核人：Mitsuru Yasuhara（普林斯顿） MSC公司：03-02 03B10号机组 03年05月 PDF格式BibTeX公司 XML格式引用 \textit{O.Makridis}，探索形式逻辑。第二卷：谓词逻辑的语义和证明理论。伦敦：学院出版物（2018；Zbl 1441.03003）
奥德修斯·马克里迪斯 探索形式逻辑。第一卷：命题逻辑的理论和决策程序。 （英语） Zbl 1433.03002号 逻辑研究（伦敦）71.伦敦：学院出版物（ISBN 978-1-84890-266-4/pbk）。xxii，681页。，第22页/指数（2018）。 审核人：Mitsuru Yasuhara（普林斯顿） MSC公司：03-02 03B05号 PDF格式BibTeX公司 XML格式引用 \textit{O.Makridis}，探索形式逻辑。第一卷：命题逻辑的理论和决策程序。伦敦：学院出版物（2018；Zbl 1433.03002）
约翰·格兰特（编辑）;Martinez、Maria Vanina（编辑） 衡量信息的不一致性。 （英语） Zbl 1411.68015号 逻辑研究（伦敦）73.伦敦：学院出版物（ISBN 978-1-84890-244-2/pbk）。第xx页，第342页。(2018).MSC公司：68-06 03-06 03Bxx号 68T27型 00B15号机组 PDF格式BibTeX公司 XML格式引用 \textit{J.Grant}（编辑）和\textit{M.V.Martinez}（主编），测量信息的不一致性。伦敦：学院出版物（2018；Zbl 1411.68015）
路易斯·奥古斯托。 逻辑后果。理论与应用：导论。 （英语） Zbl 1530.03002号 逻辑研究（伦敦）66.数学逻辑和基础。。伦敦：学院出版物（ISBN 978-1-84890-236-7/pbk）。xi，第213页。(2017).MSC公司：03-01 03B22号 03B47号 03B50号 03B53号 PDF格式BibTeX公司 XML格式引用 \textit{L.M.Augusto}，逻辑后果。理论与应用：导论。伦敦：学院出版物（2017；Zbl 1530.03002）
菲利普·卡拉布雷斯 逻辑和条件概率。合成物。 （英语） Zbl 1419.03001号 逻辑研究（伦敦）69.伦敦：学院出版物（ISBN 978-1-84890-258-9/pbk）。xi，第272页。(2017). 审核人：吉尔根·兰德斯（慕尼黑） MSC公司：03-02 03B48号 03B42号 03G12号机组 PDF格式BibTeX公司 XML格式引用 \textit{P.Calabrese}，逻辑和条件概率。合成物。伦敦：学院出版物（2017；Zbl 1419.03001）
路易斯·奥古斯托。 多值逻辑。数学和计算入门。 （英语） 兹比尔1435.03002 逻辑研究（伦敦）67.伦敦：学院出版物（ISBN 978-1-84890-250-3/pbk）。xiii，第325页。(2017). 审核人：Albert Hoogewijs（根特） MSC公司：03-02 03B50号 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{L.M.Augusto}，多值逻辑。数学和计算导论。伦敦：学院出版物（2017；Zbl 1435.03002）
D.M.加巴伊。;罗德里格斯，O.T。 应用程序的基本逻辑。计算机科学家的程序观点。 （英语） Zbl 1396.03001号 逻辑研究（伦敦）65.数学逻辑和基础。伦敦：学院出版物（ISBN 978-1-84890-225-1）。xiv，第347页。(2016).MSC公司：03-01 03B05号 03B70号 00A06号 PDF格式BibTeX公司 XML格式引用 \textit{D.M.Gabbay}和\textit{O.T.Rodrigues}，应用程序的基本逻辑。计算机科学家的程序观点。伦敦：学院出版物（2016；Zbl 1396.03001）
帕韦·乌普科夫斯基 野外问题的逻辑。信息寻求对话建模中的推理性爱逻辑。 （英语） Zbl 1342.03003号 逻辑研究（伦敦）64.伦敦：学院出版物（ISBN 978-1-84890-216-9）。152页。(2016).MSC公司：03-02 03B65号 91层20 03B42号 PDF格式BibTeX公司 XML格式引用 \textit{P.Łupkowski}，野外问题逻辑。信息寻求对话建模中的推理性爱逻辑。伦敦：学院出版物（2016；Zbl 1342.03003）
劳埃德·亨伯斯通 模态逻辑的哲学应用。 （英语） Zbl 1364.03002号 逻辑研究（伦敦）61.伦敦：学院出版物（ISBN 978-1-84890-196-4/pbk）。ii，第578页。(2015). 审核人：路易斯·高布尔（塞勒姆） MSC公司：03-02 03B45号 03年05月 03B42号 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{L.Humberstone}，模态逻辑的哲学应用。伦敦：学院出版物（2015；Zbl 1364.03002）
皮特·辛图拉（编辑）;Fermüller，Christian G。（编辑）;卡莱斯·诺格拉（编辑） 数学模糊逻辑手册。第3卷。 （英语） Zbl 1345.03001号 逻辑研究（伦敦）58.数学逻辑和基础。伦敦：学院出版物（ISBN 978-1-84890-193-3/pbk）。第十八章，公元929-1290年。(2015).MSC公司：03-00 03-06 03B52型 00B15号机组 PDF格式BibTeX公司 XML格式引用 \textit{P.Cintula}（编辑）等人，《数学模糊逻辑手册》。第3卷。伦敦：学院出版物（2015；Zbl 1345.03001）
弗朗西斯·尼西姆 证明理论语义。 （英语） Zbl 1433.03001号 逻辑研究（伦敦）57.伦敦：学院出版物（ISBN 978-1-84890-183-4/pbk）。xx，第415页。(2015).MSC公司：03-02 03财年03 03B05号 03B10号机组 03B65号 PDF格式BibTeX公司 XML格式引用 \textit{N.Francez}，证明理论语义。伦敦：学院出版物（2015；Zbl 1433.03001）
布鲁诺沃尔岑洛格尔古（编辑）;大卫·德拉海耶（编辑） 所有关于证据，所有证据。 （英语） 兹比尔1334.03007 逻辑研究（伦敦）55.数学逻辑和基础。伦敦：学院出版物（ISBN 978-1-84890-166-7/pbk）。vii，240页。(2015).MSC公司：03-06 03财年03 05年3月 03B35型 68吨15 00B15号机组 PDF格式BibTeX公司 XML格式引用 \textit{B.Woltzenlogel Paleo（编辑）和\textit{D.Delahaye（编辑），关于证明，所有证明。伦敦：学院出版物（2015；Zbl 1334.03007）
诺里希罗·卡米德;海因里希·万兴 N4-次协调逻辑的证明理论。 （英语） Zbl 1436.03003号 逻辑研究（伦敦）54.伦敦：学院出版物（ISBN 978-1-84890-167-4/pbk）。x、 401页。(2015). 审核人：安德烈·因德泽扎克（Andrzej Indrzejczak） MSC公司：03-02 03B53号 03财年03 05年3月 03B20型 03B47号 03B50号 PDF格式BibTeX公司 XML格式引用 \textit{N.Kamide}和\textit{H.Wansing}，N4-次协调逻辑的证明理论。伦敦：学院出版物（2015；Zbl 1436.03003）
林戈·鲍曼 形而上学对抽象论证的非单调理论的贡献。 （英语） Zbl 1441.03001号 逻辑研究（伦敦）51.伦敦：学院出版物（ISBN 978-1-84890-143-8/pbk）。xii，206页。(2014).MSC公司：03-02 03B60号 68T27型 PDF格式BibTeX公司 XML格式引用 \文本{R.鲍曼}，对抽象论证非单调理论的玄学贡献。伦敦：学院出版物（2014；Zbl 1441.03001）
维克托·马雷克 命题可满足性导论。第2版。 （英语） Zbl 1410.68003号 逻辑研究（伦敦）49.伦敦：学院出版物（ISBN 978-1-84890-139-1/pbk）。十六、358页。(2014).MSC公司：68-01 03B05号 03B70号 68吨15 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{V.Marek}，命题可满足性导论。第二版伦敦：学院出版物（2014；Zbl 1410.68003）
爱德华多·费尔梅。（编辑）;Dov M.加巴伊。（编辑）;吉列尔莫·西马里。（编辑） 信念修正和论证动态的趋势。基于2012年1月在马德拉Funchal举行的信仰修正和论证研讨会。 （英语） 兹比尔1280.03006 逻辑研究（伦敦）48.逻辑和认知系统。伦敦：学院出版物（ISBN 978-1-84890-065-3/pbk）。x、 304页。(2013).MSC公司：03-06 00B15号机组 03B42号 03年05月 PDF格式BibTeX公司 XML格式引用 \textit{E.L.Fermé}（编辑）等，信念修正和论证动力学趋势。基于2012年1月在马德拉Funchal举行的信仰修正和论证研讨会。伦敦：学院出版物（2013；Zbl 1280.03006）
约翰·范·本特姆（编辑）;刘芬荣（编辑） 整个大学的逻辑：基础和应用。清华逻辑会议记录，中国北京，2013年10月14-16日。 （英语） Zbl 1279.03019号 逻辑研究（伦敦）47.伦敦：学院出版物（ISBN 978-1-84890-122-3/pbk）。ix，第521页。(2013).MSC公司：03-06 03B42号 03年05月 00A30型 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{J.van Benthem}（编辑）和textit{F.Liu}（主编），《大学逻辑：基础与应用》。清华逻辑会议记录，中国北京，2013年10月14-16日。伦敦：学院出版物（2013；Zbl 1279.03019）
安德烈·维希涅夫斯基 问题、推论和场景。 （英语） Zbl 1294.03009号 逻辑研究（伦敦）46.逻辑和认知系统。伦敦：学院出版物（ISBN 978-1-84890-120-9/pbk）。viii，179页。(2013). 审核人：Efstratios Rappos（奥邦） MSC公司：03-02 03B65号 91层20 03B42号 PDF格式BibTeX公司 XML格式引用 \textit{A.Wi-si-niewski}，问题、推论和场景。伦敦：学院出版物（2013；Zbl 1294.03009）
Barendregt，Henk P。 lambda演算及其语法和语义。重印1984年修订版。 （英语） Zbl 1267.03034号 逻辑研究（伦敦）40.数学逻辑和基础。伦敦：学院出版物（ISBN 978-1-84890-066-0/pbk）。xv，621页。，E16.（2012）。 审核人：马丁·邦德（伍伦贡） MSC公司：03B40型 03-01 03-02 68甲18 PDF格式BibTeX公司 XML格式引用 \textit{H.P.Barendregt}，lambda演算，其语法和语义。重印1984年修订版伦敦：学院出版物（2012；Zbl 1267.03034）
皮特·辛图拉（编辑）;彼得·哈耶克（编辑）;卡莱斯·诺格拉（编辑） 数学模糊逻辑手册。第2卷。 （英语） Zbl 1283.03002号 逻辑研究（伦敦）38.数学逻辑和基础。伦敦：学院出版物（ISBN 978-1-84890-054-7/pbk）。十七、469-928。(2011). 审核人：布拉尼斯拉夫·博里奇奇（贝尔格莱德） MSC公司：03-00 03B52型 00B15号机组 PDF格式BibTeX公司 XML格式引用 \textit{P.Cintula}（编辑）等人，《数学模糊逻辑手册》。第2卷。伦敦：学院出版物（2011；Zbl 1283.03002）
皮特·辛图拉（编辑）;彼得·哈耶克（编辑）;卡莱斯·诺格拉（编辑） 数学模糊逻辑手册。第1卷。 （英语） Zbl 1283.03001号 逻辑研究（伦敦）37.数理逻辑与基础。伦敦：学院出版物（ISBN 978-1-84890-039-4/pbk）。xxi，468页。(2011). 审核人：布拉尼斯拉夫·博里奇奇（贝尔格莱德） MSC公司：03-00 03B52型 03G25号 00B15号机组 PDF格式BibTeX公司 XML格式引用 \textit{P.Cintula}（编辑）等人，《数学模糊逻辑手册》。第1卷。伦敦：学院出版物（2011；Zbl 1283.03001）
阿弥陀佛笈多（编辑）;约翰·范·本特姆（编辑） 今天的逻辑和哲学。第1卷。 （英语） Zbl 1255.03015号 逻辑研究（伦敦）29.伦敦：学院出版物（ISBN 978-1-84890-040/pbk）。ii，第443页。(2011).MSC公司：03-06 03年05月 03-03 00A30型 01A60型 03B70号 00B15号机组 PDF格式BibTeX公司 XML格式引用 \textit{A.Gupta}（编辑）和textit{J.van Benthem}（主编），《今日逻辑与哲学》。第1卷。伦敦：学院出版物（2011；Zbl 1255.03015）
阿弥陀佛笈多（编辑）;约翰·范·本特姆（编辑） 今天的逻辑和哲学。第2卷。 （英语） Zbl 1247.03004号 逻辑研究（伦敦）30.伦敦：学院出版物（ISBN 978-1-84890-041-7/pbk）。ii，第395页。(2011).MSC公司：03-06 03年05月 00A30型 03A10号 03B50号 03B52型 62A01型 00B15号机组 PDF格式BibTeX公司 XML格式引用 \textit{A.Gupta}（编辑）和textit{J.van Benthem}（主编），《今日逻辑与哲学》。第2卷。伦敦：学院出版物（2011；Zbl 1247.03004）
范德多斯，雅普 沉默地过去了。论维特根斯坦的《拖拉机》及其体系。 （英语） Zbl 1248.03005号 逻辑研究（伦敦）28.伦敦：学院出版物（ISBN 978-1-84890-008-0/pbk）。xix，第284页。(2011). 审核人：维克托·潘布奇（凤凰城） MSC公司：03-03 03-02 03年05月 03B05号 01A60型 PDF格式BibTeX公司 XML格式引用 \textit{J.van der Does}，沉默地走过。论维特根斯坦的《拖拉机》及其体系。伦敦：学院出版物（2011；Zbl 1248.03005）
格哈德·布鲁卡（编辑）;维克托·马雷克。（编辑）;特鲁什琴斯基，米洛斯奥（编辑） 非单调推理。庆祝30周年的文章。会议论文（NonMon30），美国肯塔基州列克星敦，2010年10月22日至25日。 （英语） Zbl 1253.68006号 逻辑研究（伦敦）31.伦敦：学院出版物（ISBN 978-1-84890-042-4/pbk）。x、 360页。(2011).MSC公司：68-06 03-06 03B60号 68N17号 68T27型 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{G.Brewka}（编辑）等，非单调推理。庆祝30周年的文章。会议论文（NonMon30），美国肯塔基州列克星敦，2010年10月22日至25日。伦敦：学院出版物（2011；Zbl 1253.68006）
皮特·辛图拉（编辑）;Fermüller，Christian G。（编辑）;路易斯·戈多（编辑）;彼得·哈耶克（编辑） 理解模糊性。逻辑、哲学和语言观点。2009年9月14日至17日，在捷克共和国乔伊科维奇举行的模糊信息推理逻辑模型会议（LoMoReVI）上，根据会议上的演讲，选出了一些论文。 （英语） Zbl 1239.03001号 逻辑研究（伦敦）36.伦敦：学院出版物（ISBN 978-1-84890-037-0/pbk）。第421页。(2011).MSC公司：03-06 03年05月 03B52型 03B65号 68层37 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{P.Cintula}（编辑）等人，《理解模糊性》。逻辑、哲学和语言视角。2009年9月14日至17日，捷克共和国乔伊科维奇举行的模糊信息推理逻辑模型会议（LoMoReVI）上，根据会议上的演讲，选出了一些论文。伦敦：学院出版物（2011；Zbl 1239.03001）
克里斯·莫滕森 几何图形不一致。 （英语） Zbl 1271.03003号 逻辑研究（伦敦）27.伦敦：学院出版物（ISBN 978-1-84890-022-6/pbk）。ix，162页。(2010).MSC公司：03-01 51-01 00A66号 03B53号 PDF格式BibTeX公司 XML格式引用 \textit{C.Mortensen}，几何不一致。伦敦：学院出版物（2010；Zbl 1271.03003）
Löwe，Benedikt公司（编辑）;埃里克·帕奎特（编辑）;詹·威勒姆·罗梅因（编辑） 形式科学基础VI。概率推理和概率推理。第六届会议论文，FotFS VI，2007年5月2-5日。 （英语） Zbl 1241.62003号 逻辑研究（伦敦）16.伦敦：学院出版物（ISBN 978-1-904987-15-4/pbk）。xiv，215页。(2009).MSC公司：62-06 03-06 60-06 00A30型 03年05月 03B48号 60A05型 62A01型 68层37 00B15号机组 PDF格式BibTeX公司 XML格式引用 \textit{B.Löwe}（ed.）等人，形式科学基础VI。概率推理和概率推理。第六届会议论文，FotFS VI，2007年5月2-5日。伦敦：学院出版物（2009；Zbl 1241.62003）
沃尔特·卡尼埃利（编辑）;马塞洛·E·科尼格里奥。（编辑）;德奥塔维亚诺，伊塔拉·洛夫雷多（编辑） 逻辑的许多方面。2008年5月11日至17日在巴西帕拉蒂举行的“CLE 30–30周年逻辑、认识论和科学史中心”、“XV EBL–15届巴西逻辑会议”和“XIV SLALM–14届拉丁美洲数理逻辑研讨会”同期会议的论文选。 （英语） Zbl 1196.03003号 逻辑研究（伦敦）21.伦敦：学院出版物（ISBN 978-1-904987-78-9/pbk）。iv，576页。(2009).MSC公司：03-06 00B25型 03年05月 03Bxx号 PDF格式BibTeX公司 XML格式引用 \textit{W.Carnielli}（编辑）等人，《逻辑的多方面》。2008年5月11日至17日在巴西帕拉蒂举行的“CLE 30——逻辑、认识论和科学史中心成立30周年”、“XV EBL——第15届巴西逻辑会议”和“XIV SLALM——第14届拉丁美洲数理逻辑研讨会”同期会议论文集。伦敦：学院出版物（2009；Zbl 1196.03003）
克里斯托夫·本兹穆勒（编辑）;乍得·E·布朗。（编辑）;约格·西克曼（编辑）;理查德·斯塔特曼（编辑） 简单类型理论中的推理。庆祝彼得·安德鲁斯70岁生日。 （英语） Zbl 1196.03002号 逻辑研究（伦敦）17.数学逻辑和基础。伦敦：学院出版物（ISBN 978-1-904987-70-3/pbk）。第467页。(2008).MSC公司：03-06 00立方厘米 01A60型 01A70型 03-03 03B15号机组 03B35型 03B40型 05年3月 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{C.Benzmüller}（编辑）等，《简单类型理论中的推理》。庆祝彼得·安德鲁斯70岁生日。伦敦：学院出版物（2008年；Zbl 1196.03002）
米希尔·K·查克拉博蒂。（编辑）;Löwe，Benedikt公司（编辑）;米特拉·马达本德拉·纳特（编辑）;Sundar Sarukkai（编辑） 逻辑、纳维亚语和应用。向比马尔·克里希纳·马蒂拉尔致敬。国际逻辑会议论文选集，Navya Nyāya和应用，印度加尔各答，2007年1月3日至7日。 （英语） Zbl 1196.03004号 逻辑研究（伦敦）15.伦敦：学院出版物（ISBN 978-1-904987-44-4/pbk）。十七、304页。(2008).MSC公司：03-06 00B25型 03-03 03年05月 03Bxx号 PDF格式BibTeX公司 XML格式引用 \textit{M.K.Chakraborty}（ed.）等人，《逻辑、纳维亚语和应用》。向比马尔·克里希纳·马蒂拉尔致敬。2007年1月3日至7日在印度加尔各答举行的关于逻辑、Navya-Nyáya和应用的国际会议的论文选集。伦敦：学院出版物（2008；Zbl 1196.03004）
Dov M.加巴伊。;雷娜特·施密特（Renate A.Schmidt）。;斯扎·阿斯（Szałas）、安德烈吉（Andrzej） 二阶量词消除。基础、计算方面和应用。 （英语） Zbl 1165.03011号 逻辑研究（伦敦）12.伦敦：学院出版物（ISBN 978-1-904987-56-7/pbk）。viii，308页。(2008). 审核人：奈尔·扎莫夫（喀山） MSC公司：03C10号机组 03-02 03B15号机组 03B35型 03B45号 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{D.M.Gabbay}等人，二阶量词消除。基础、计算方面和应用。伦敦：学院出版物（2008；Zbl 1165.03011）
弗朗西斯科·贝尔托 如何推销矛盾。矛盾的逻辑和数学。 （英语） Zbl 1201.03003号 逻辑研究（伦敦）6.伦敦：学院出版物（ISBN 978-1-904987-43-7/pbk）。xvii，第338页。(2007). 审核人：吉姆·麦肯齐（悉尼） MSC公司：03年05月 03-02 03B47号 03B53号 03F40型 PDF格式BibTeX公司 XML格式引用 \textit{F.Berto}，如何推销矛盾。矛盾的逻辑和数学。伦敦：学院出版物（2007；Zbl 1201.03003）
乍得·E·布朗。 高阶逻辑中的自动推理。Church类型理论中的集合理解和外延。 （英语） Zbl 1206.03014号 逻辑研究（伦敦）10.逻辑与认知系统。伦敦：学院出版物（ISBN 978-1-904987-57-4/pbk）。十八、542页。(2007). 审核人：奈尔·扎莫夫（喀山） MSC公司：03B35型 03-02 03B15号机组 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{C.E.Brown}，高阶逻辑中的自动推理。Church类型理论中的集合理解和外延。伦敦：学院出版物（2007；Zbl 1206.03014）
珍妮·伊夫·贝齐奥（编辑）;沃尔特·卡尼埃利（编辑）;Dov Gabbay公司（编辑） 副一致性手册。 （英语） Zbl 1206.03030号 逻辑研究（伦敦）9.逻辑和认知系统。伦敦：学院出版物（ISBN 978-1-904987-73-4/pbk）。xi，512页。(2007). 审核人：马丁·邦德（伍伦贡） MSC公司：03B53号 03-00 00B15号机组 PDF格式BibTeX公司 XML格式引用 \textit{J.-Y.Béziau}（编辑）等，副一致性手册。伦敦：学院出版物（2007；Zbl 1206.03030）
库尔特·恩格塞;Dov M.加巴伊。;丹尼尔·莱曼 量子逻辑的一种新方法。 （英语） Zbl 1162.03035号 逻辑研究（伦敦）8.伦敦：国王学院出版社（ISBN 978-1-904987-53-6/pbk）。xiv，182页。(2007). 审核人：朱尼斯·切鲁利斯（里加） MSC公司：03G12号机组 03-02 03B60号 81-02 81页第10页 第81页，共15页 PDF格式BibTeX公司 XML格式引用 \textit{K.Engesser}等人，量子逻辑的新方法。伦敦：国王学院出版物（2007；Zbl 1162.03035）
科斯塔·多森;佐兰·佩特里奇 证明理论一致性。 （英语） Zbl 1153.03003号 逻辑研究（伦敦）1.伦敦：国王学院出版社（ISBN 1-904987-06-0/pbk）。xiii，第369页。(2004). 审核人：塞尔盖·索洛夫（图卢兹） MSC公司：03-02 03财年03 03G30型 03B05号 03B20型 05年3月 03楼52 18甲15 PDF格式BibTeX公司 XML格式引用 \textit{K.Došen}和\textit{Z.Petrić}，理论一致性证明。伦敦：国王学院出版物（2004；Zbl 1153.03003）