德克·范·达伦 逻辑和结构。由Ruy J.G.B.de Queiroz翻译自英语。(Lógica e estrutura) (葡萄牙语) Zbl 1394.03001号 计算图书馆8.伦敦:学院出版物(ISBN 978-1-84890-262-6/pbk)。第274页。(2017).MSC公司:03-01 03-02 03B05号 03B10号机组 03B15号机组 03B20型 03C07号机组 03C20号 PDF格式BibTeX公司 XML格式引用 \textit{D.van Dalen},Lógica e estrutura(葡萄牙语)。伦敦:学院出版物(2017;Zbl 1394.03001)
乔·帕旺·马丁斯 逻辑和推理。(拉丁美洲) (葡萄牙语) Zbl 1294.03001号 计算图书馆6.伦敦:学院出版物(ISBN 978-1-84890-125-4/pbk)。xiv,438页。(2014). 审核人:Max A.Freund(圣何塞) MSC公司:03-01 68-01 03B05号 03B10号机组 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{J.P.Martins},Lógica e raciocínio(葡萄牙语)。伦敦:学院出版物(2014;Zbl 1294.03001)
克里斯·汉金 [乔安·拉斯加] 计算机科学家对lambda calculi的介绍。Joáo Rasga翻译自英语。(Introduçáo ao cálculo lambda。) (葡萄牙语) Zbl 1259.03002号 计算图书馆2.伦敦:学院出版物(ISBN 978-1-84890-084-4/pbk)。xiv,170页。(2012).MSC公司:03-01 68-01 03B40型 68甲18 PDF格式BibTeX公司 XML格式引用 \textit{C.Hankin},Introdução ao Cálcullo lambda(葡萄牙语)。伦敦:学院出版物(2012;Zbl 1259.03002)