乔安娜·戈林斯卡·皮拉雷克(编辑);Micha Zawidzki(编辑) Ewa Orłowska,关于逻辑和计算机科学中的关系方法。 (英语) Zbl 1411.03003号 对逻辑的杰出贡献17.商会:施普林格出版社(ISBN 978-3-319-97878-9/hbk;978-3-319-97879-6/ebook)。十八、502页。(2018). 出版商描述:本书向2017年庆祝科学生涯60周年的波兰逻辑学家埃瓦·奥尔·奥斯卡教授致敬。它收集了不同作者的论文,涵盖了她的研究中最重要的领域。Orłowska教授在逻辑的许多领域做出了重要贡献,例如证明理论、逻辑中的代数方法和知识表示,她的工作已在3部专著中发表,并在国际知名期刊和会议记录中发表了100多篇文章。这本书还包括奥尔·奥斯卡教授的自传、参考书目、她与本书编辑之间的一篇三部曲,以及作者的传记笔记,适合那些对奥尔·奥斯卡教授的作品感兴趣的学者和逻辑学生阅读。本卷的文章将单独进行审查。 引用于1审查引用于1文件 MSC公司: 03-06 与数理逻辑和基础有关的会议记录、会议、收藏等 03C60型 模型理论代数 03Fxx公司 证明理论与构造数学 03B70号 计算机科学中的逻辑 00B15号机组 杂项特定利益物品的收集 传记参考: 或者鄂尔多斯卡 PDF格式BibTeX公司 XML格式引用 \textit{J.Golin ska-Pilarek}(编辑)和\textit{M.Zawidzki}(主编),Ewa Orłowska关于逻辑和计算机科学中的关系方法。查姆:施普林格(2018;Zbl 1411.03003) 全文: 内政部