克里斯蒂安森，拉尔斯 42出版物(1996–2024)编入索引的 131引文 合著者： 沃达，Paul J。；Murwanashaka，尤文纳尔；阿米尔·本·阿姆拉姆… 主要字段： 数学逻辑与基础（03-XX） 发布日期： 克里斯蒂安森，拉尔斯
里尔·克里斯蒂安森 5出版物(1994–2004)编入索引的 9引文 合著者： 达格·诺曼；卡尔·海因茨·奈格尔 主要字段： 数学逻辑与基础（03-XX） 发布日期： 里尔·克里斯蒂安森;克里斯蒂安森，L。