加布里埃拉·斯特伦 直觉主义的证据假设逻辑。 （英语） Zbl 1337.03032号 de Paiva，Valeria（ed.）等人，《直觉模态逻辑与应用第六次研讨会论文集》（IMLA 2013），联合2013年UNILOG，巴西里约热内卢，2013年4月7日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记300，89-103（2014）。MSC公司：03B45号 03B40型 03B70号 68号30 PDF格式BibTeX公司 XML格式引用 \textit｛G.Steren｝，电子。注释Theor。计算。科学。300、89——103（2014年；Zbl 1337.03032） 全文： 内政部 OA许可证
爱德华多·博内利;加布里埃拉·斯特伦 证明的假设逻辑。 （英语） Zbl 1335.03020号 日志。Univers大学。 8，第1期，103-140（2014）.MSC公司：03B45号 03B40型 PDF格式BibTeX公司 XML格式引用 \textit{E.Bonelli}和\textit{G.Steren}，Log。Univers大学。8，第1号，第103--140条（2014；Zbl 1335.03020） 全文： 内政部 链接