塞萨里·卡利西克；Pąk，卡罗尔 将高阶逻辑与集合论形式化相结合。 （英语） Zbl 07702726号 J.汽车。推理 67，第2号，第20号论文，第23页（2023年）.MSC公司：68伏15 PDF格式BibTeX公司 XML格式引用 \textit｛C.Kaliszyk｝和\textit｛K.ṔK｝，J.奥托姆。推理67，第2期，第20号论文，第23页（2023；Zbl 07702726） 全文： 内政部 OA许可证
乍得·E·布朗。；塞萨里·卡利西克；Pak，卡罗尔 高阶Tarski Grothendieck作为形式证明的基础。 （英语） Zbl 07649958号 Harrison，John（ed.）等人，第十届交互式定理证明国际会议，2019年9月9日至12日，美国俄勒冈州波特兰。会议记录。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik出版社。LIPIcs–莱布尼茨国际程序。通知。141，第9条，第16页（2019年）。MSC公司：68V20型 PDF格式BibTeX公司 XML格式引用 \textit｛C.E.Brown｝等人，LIPIcs——莱布尼茨国际期刊。通知。141，第9条，第16页（2019年；Zbl 07649958） 全文： 内政部