二阶谓词逻辑Gentzen Hauptsatz的非构造证明
AMS MathViewer支持的HTML文章
通过 W.W.Tait公司 PDF格式 牛市。 阿默尔。 数学。 Soc公司。 72 (1966), 980-983
工具书类
亨肯 , 类型理论的完整性 ,J.符号逻辑 15 (1950), 81–91. 先生 36188 ,内政部 10.2307/2266967 库尔特·舒特 , 简单类型理论的句法和语义特性 ,J.符号逻辑 25 (1960), 305–326 (1962). 先生 144813 ,内政部 10.2307/2963525 盖西·塔库蒂 , 关于一个广义逻辑演算 ,Jpn。 数学杂志。 23 (1953), 39–96 (1954); 勘误表,24(1954),149–156。 先生 75160 ,内政部 10.4099/jjm1924.23.0_ {3}9
其他信息
期刊:公牛。 阿默尔。 数学。 Soc公司。 72 (1966), 980-983 内政部: https://doi.org/10.1090/S0002-9904-1966-1161-7 MathSciNet评论: 0205829