乌尔里希·伯格;Hideki Tsuiki 直觉主义的定点逻辑。 (英语) 兹比尔1498.03065 Ann.纯粹应用。逻辑 172,第3号,文章ID 102903,57 p.(2021).MSC公司:03B70号 03B20型 03B40型 03日70 03D78号 03层60 06B35号 PDF格式BibTeX公司 XML格式引用 \textit{U.Berger}和\textit{H.Tsuiki},Ann.Pure Appl。逻辑172,第3号,文章ID 102903,57页(2021;Zbl 1498.03065) 全文: DOI程序 arXiv公司
乌尔里希·伯格;侯铁英 对丘奇简单类型理论的可实现性解释。 (英语) Zbl 1423.03044号 数学。结构。计算。科学。 27,第8期,1364-1385(2017).MSC公司:03B20型 03B15号机组 03B40型 03天78 35层03 PDF格式BibTeX公司 XML格式引用 \textit{U.Berger}和\textit{T.Hou},数学。结构。计算。科学。27,第8号,1364--1385(2017;Zbl 1423.03044) 全文: DOI程序