爱洛·科斯塔，霍拉西奥·L。 发布日期： 爱洛·科斯塔，霍拉西奥·L。 文件： 24已编入索引的出版物(1990–2016) 合著者： 阿瑟·保罗·佩德森（Arthur Paul Pedersen）；以撒·利未；克里斯蒂娜·比奇埃里… 主要字段： 数学逻辑与基础（03-XX）
Horacio ArlóCosta 发布日期： Horacio ArlóCosta 文件： 25份出版物编入索引(1996–2018) 合著者： 阿瑟·保罗·佩德森（Arthur Paul Pedersen）；以撒·利未；克里斯蒂娜·比奇埃里… 主要字段： 数学逻辑与基础（03-XX）
