伊沃·佩兹拉 意义和计算：可计算命题的两种方法。 （英语） Zbl 07547736号 Silva，Alexandra（编辑）等人，《逻辑、语言、信息和计算》。第27届国际研讨会，WoLLIC 2021，虚拟活动，2021年10月5日至8日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13038, 100-116 (2021).MSC公司：03B70号 PDF格式BibTeX公司 XML格式引用 \textit{I.Pezlar}，莱克特。注释计算。科学。13038，100-116（2021；Zbl 07547736） 全文： 内政部
伊沃·佩兹拉 从推理的角度对矛盾命题的注释。 （英语） Zbl 1529.03125号 Blicha，Martin（编辑）等人，《Logica年鉴2020》。论文基于已取消的Logica 2020研讨会提交的摘要。伦敦：学院出版物。183-199 (2021).MSC公司：03B38型 PDF格式BibTeX公司 XML格式引用 \textit{I.Pezlar}，收录于：《2020年Logica年鉴》。论文基于已取消的Logica 2020研讨会提交的摘要。伦敦：学院出版物。183-199（2021年；Zbl 1529.03125）
伊沃·佩兹拉 命题as-types范式中的推理组合。 （英语） Zbl 1485.03231号 日志。Univers大学。 14，编号481-493（2020）.MSC公司：03财年03 03B40型 03B16号 PDF格式BibTeX公司 XML格式引用 \textit{I.Pezlar}，日志。Univers大学。14，第4号，481--493（2020；Zbl 1485.03231） 全文： 内政部
伊沃·佩兹拉 问题的算法理论。建设性和非建设性的方法。 （英语） Zbl 1417.03124号 日志。日志。菲洛斯。 26，第4期，473-508（2017）.MSC公司：03年11月15日 03B60 03楼50 03A05号 PDF格式BibTeX公司 XML格式引用 \textit{I.Pezlar}，日志。日志。菲洛斯。26，第4号，473--508（2017；Zbl 1417.03124） 全文： 内政部