塞萨里·卡利西克;Pąk，卡罗尔 将高阶逻辑与集合论形式化相结合。 （英语） Zbl 07702726号 J.汽车。推理 67，第2号，第20号论文，第23页（2023年）.MSC公司：68伏15 PDF格式BibTeX公司 XML格式引用 \textit{C.Kaliszyk}和\textit{K.PąK}，J.Autom。推理67，第2期，第20号论文，第23页（2023；Zbl 07702726） 全文： 内政部 OA许可证
Pąk，卡罗尔 素数表示有10个未知数的多项式-引言。 （英语） Zbl 07835213号 福尔马利兹。数学。 30，第3期，169-198（2022）.MSC公司：68V20型 11A41号机组 11点45分 PDF格式BibTeX公司 XML格式引用 \文本{K.PąK}，Formaliz。数学。30，编号3169-198（2022年；兹bl 07835213） 全文： 内政部
Pąk，卡罗尔 表示多项式的素数。 （英语） Zbl 1494.68304号 福尔马利兹。数学。 29，第4期，221-228（2021）.MSC公司：68V20型 11点45分 PDF格式BibTeX公司 XML格式引用 \文本{K.PąK}，Formaliz。数学。29，第4号，221--228（2021；Zbl 1494.68304） 全文： 内政部
Pąk，卡罗尔 格罗森迪克大学。 （英语） Zbl 07488871号 福尔马利兹。数学。 28，第2期，211-215（2020）.MSC公司：68V20型 03E70型 PDF格式BibTeX公司 XML格式引用 \文本{K.PąK}，Formaliz。数学。28，第2号，211-215（2020；Zbl 07488871） 全文： 内政部
乍得·E·布朗。;Pąk，卡罗尔 AIM循环和AIM猜想。 （英语） Zbl 1433.68574号 福尔马利兹。数学。 27，第4号，321-335（2020）.MSC公司：68V20型 20号05 PDF格式BibTeX公司 XML格式引用 \textit{C.E.Brown}和\textit{K.PąK}，Formaliz。数学。27，第4号，321--335（2020；Zbl 1433.68574） 全文： 内政部
塞萨里·卡利西克;Pak，卡罗尔 声明性证明翻译（短文）。 （英语） Zbl 07649984号 Harrison，John（ed.）等人，第十届交互式定理证明国际会议，2019年9月9日至12日，美国俄勒冈州波特兰。会议记录。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）。LIPIcs–莱布尼茨国际程序。通知。141，第35条，第7页（2019年）。MSC公司：68伏15 PDF格式BibTeX公司 XML格式引用 \textit{C.Kaliszyk}和\textit{K.Pak}，LIPIcs——莱布尼茨国际程序。通知。141，第35条，第7页（2019年；Zbl 07649984） 全文： 内政部
乍得·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） 全文： 内政部
Pąk，卡罗尔 Mizar系统中MRDP定理的形式化。 （英语） 兹比尔1432.68543 福尔马利兹。数学。 27，第2209-221号（2019）.MSC公司：68V20型 11点45分 PDF格式BibTeX公司 XML格式引用 \文本{K.PąK}，Formaliz。数学。27，第2号，209--221（2019；Zbl 1432.68543） 全文： 内政部
Pąk，卡罗尔 丢番图集。二、。 （英语） Zbl 1432.68542号 福尔马利兹。数学。 27，第2期，197-208（2019）.MSC公司：68V20型 11点45分 PDF格式BibTeX公司 XML格式引用 \文本{K.PąK}，Formaliz。数学。27，第2号，197--208（2019；Zbl 1432.68542） 全文： 内政部
塞萨里·卡利西克;Pąk，卡罗尔 Mizar作为Isabelle对象逻辑的语义。 （英语） Zbl 1468.68290号 J.汽车。推理 63，第3期，557-595（2019）.MSC公司：68伏15 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{C.Kaliszyk}和\textit{K.PąK}，J.Autom。推理63，No.3，557--595（2019；Zbl 1468.68290） 全文： 内政部 OA许可证
马钦·阿齐维茨;Pąk，卡罗尔 基本丢番图关系。 （英语） 兹比尔1422.11066 福尔马利兹。数学。 26，第2期，175-181（2018）.MSC公司：11点45分 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{M.Acewicz}和\textit{K.PąK}，Formaliz。数学。26，第2号，175--181（2018；Zbl 1422.11066） 全文： 内政部