可口、蒂埃里;阿努吉·达瓦尔;达米安·尼温斯基 2012年阿克曼奖。 （英语） Zbl 1252.03002号 Cégielski，Patrick（编辑）等人，《计算机科学逻辑》（CSL’12）。2012年9月3日至6日，在法国枫丹白露举行的第21届EACSL年会第26届国际研讨会。根据会议上的陈述选择论文。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-939897-42-2）。LIPIcs–莱布尼茨国际信息学会议录16，1-5，仅电子版（2012年）。 2012年阿克曼奖报告。关于整个系列，请参见[Zbl 1253.68008号]. MSC公司： 03-03 数学逻辑和基础的历史 68-03 计算机科学史 01A99号 数学史和数学家 03B70号 计算机科学中的逻辑 关键词：2012年阿克曼奖 PDF格式BibTeX公司 XML格式引用 \textit{T.Coquand}等人，LIPIcs——莱布尼茨国际程序。通知。16、1--5（2012；Zbl 1252.03002） 全文： 内政部