阿诺·阿夫隆 Poincaré-Weyl的谓词:超越\(\Gamma_0\)。 (英语) Zbl 07828958号 牛市。符号。日志。 30,编号1,41-91(2024).MSC公司:03A05号 03B30型 03E30年 03E10年 00A30型 03-03 PDF格式BibTeX公司 XML格式引用 \textit{A.Avron},公牛。符号。日志。30,编号1,41-91(2024;Zbl 07828958) 全文: DOI程序 OA许可证
日产李维斯;阿诺·阿夫隆 形式表语集理论中的分析。 (英语) Zbl 07547740号 Silva,Alexandra(编辑)等人,《逻辑、语言、信息和计算》。第27届国际研讨会,WoLLIC 2021,虚拟活动,2021年10月5日至8日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13038, 167-183 (2021).MSC公司:03B70号 PDF格式BibTeX公司 XML格式引用 \textit{N.Levi}和\textit{A.Avron},莱克特。注释计算。科学。13038167-183(2021年;兹bl 07547740) 全文: DOI程序
奥费尔·阿列利;安娜·扎曼斯基 引言:非经典逻辑——介于语义和证明理论之间(关于Arnon Avron的工作)。 (英语) Zbl 07451996年 Arieli,Ofer(编辑)等人,Arnon Avron关于非经典逻辑的语义和证明理论。查姆:斯普林格。Outst公司。控制日志。21, 1-11 (2021).MSC公司:03年XX月 68倍 PDF格式BibTeX公司 XML格式引用 \textit{O.Arieli}和\textit{A.Zamansky},Outst。控制日志。21、1--11(2021;Zbl 07451996) 全文: DOI程序
阿诺·阿夫隆 为什么选择表语集? (英语) Zbl 07614716号 安德烈亚斯·布拉斯(编辑)等人,《逻辑与计算领域III》,纪念尤里·古雷维奇80岁生日的文章。查姆:斯普林格。莱克特。注释计算。科学。12180, 30-45 (2020).MSC公司:03财年03 03E75型 PDF格式BibTeX公司 XML格式引用 \textit{A.Avron},莱克特。注释计算。科学。12180,30--45(2020;Zbl 07614716) 全文: DOI程序
阿诺·阿夫隆 100年后,Weyl重新审视了《Das Kontinuum》。 (英语) Zbl 1458.03006号 牛市。符号。日志。 26,第1号,26-79(2020). 审核人:延斯·莱曼斯基(黑根) MSC公司:03A05号 03B30型 03B38型 01年6月 03-03 PDF格式BibTeX公司 XML格式引用 \textit{A.Avron},公牛。符号。日志。26,编号1,26-79(2020;兹bl 1458.03006) 全文: DOI程序
阿诺·阿夫隆;沙哈尔·列夫;日产李维斯 安全性、绝对性和可计算性。 (英语) Zbl 1528.03183号 Ghica,Dan R.(编辑)等人,第27届EACSL计算机科学逻辑年会,CSL 2018,英国伯明翰,2018年9月4-8日。诉讼程序。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。119,第8条,第17页(2018年)。MSC公司:03D45号 03B25号 03E30年 第68页,共15页 PDF格式BibTeX公司 XML格式引用 \textit{A.Avron}等人,LIPIcs——莱布尼茨国际程序。通知。119,第8条,第17页(2018;Zbl 1528.03183) 全文: DOI程序
阿诺·阿夫隆;科恩、利隆 集合最小计算理论中的应用数学。 (英语) Zbl 1454.03064号 日志。方法计算。科学。 14,第4号,第1号论文,29页(2018年).MSC公司:03E30年 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{A.Avron}和\textit{L.Cohen},Log。方法计算。科学。14,第4号,第1号论文,29页(2018;Zbl 1454.03064) 全文: DOI程序 arXiv公司