×

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多篇文章。这本书还包括奥尔·奥斯卡教授的自传、参考书目、她与本书编辑之间的一篇三部曲,以及作者的传记笔记,适合那些对奥尔·奥斯卡教授的作品感兴趣的学者和逻辑学生阅读。
本卷的文章将单独进行审查。

MSC公司:

03-06 与数理逻辑和基础有关的会议记录、会议、收藏等
03C60型 模型理论代数
03Fxx公司 证明理论与构造数学
03B70号 计算机科学中的逻辑
00B15号机组 杂项特定利益物品的收集

传记参考:

或者鄂尔多斯卡
PDF格式BibTeX公司 XML格式引用
全文: 内政部