编辑配置文件（在新选项卡中打开） 约翰·纽索姆·克罗斯利 合著者距离 作者ID： 克罗斯利·约翰·纽森 发布日期： 约翰·克罗斯利。；J.N.克罗斯利。；约翰·纽索姆·克罗斯利；约翰·纽瑟姆·克罗斯利；约翰·克罗斯利；J·克罗斯利。 更多。。。较少的 外部链接： MGP公司·维基数据·数据库许可证·接地·ID参考 已编制索引的文档： 65出版物自1965年以来，包括8本书 7作为编辑的贡献 传记参考文献： 1出版物 合著者： 34位合著者具有43联合出版物 533合著作者 全部的 前5名合著者 28 单作者的 7 伊曼·哈菲兹·波尔莫莫 6 杰弗里·布赖恩·雷梅尔 5 约翰·S·杰文斯。 5 尼禄，阿尼尔 5 马丁·威尔辛 2 大卫·W·阿尔布雷希特。 2 克里斯托弗·约翰阿什 2 布里奇希尔，C.J。 2 Hölzl，Matthias M。 2 劳埃德·亨伯斯通 2 约翰·斯蒂尔韦尔。 2 尼尔·H·威廉姆斯。 1 彼得·阿策尔 1 吉列尔莫·巴迪亚 1 博利斯·巴西特 1 弗兰克·A·Bäuerle。 1 罗萨利托·佩雷斯·克鲁兹 1 达米特，迈克尔·安东尼·埃尔德利 1 艾伦·S·亨利。 1 沈康申 1 简·伊丽莎白·基斯特 1 朱莉娅·奈特。 1 Anthony W.C.Lun。 1 阿尔弗雷德·马纳斯特。 1 路易斯·曼德尔 1 萨拉·米兰达 1 迈克尔·F·摩西。 1 Perez Cruz，利托 1 彼得雷恩斯、汉内斯 1 库尔特·舒特 1 菲利普·斯科特。 1 约翰·谢泼德森（John C.Shepherdson）。 1 理查德·阿诺德·肖尔 1 莫斯·艾森伯格·斯威德勒 全部的 前5名系列 三 Archive für Mathematische Logik und Grundlagenforschung公司 三 逻辑与分析。Nouvelle Série公司 三 纯逻辑与应用逻辑年鉴 2 澳大利亚数学学会公报 2 Studia Logica公司 2 IGPL逻辑杂志 1 马蒂米亚斯·马特马提卡 1 《伦敦数学学会通报》 1 代数杂志 1 符号逻辑杂志 1 数理逻辑报告 1 理论计算机科学 1 东南亚数学学报 1 数学史 1 澳大利亚数学学会杂志。系列A 1 通用计算机科学杂志 1 Ergebnisse der Mathematik und ihrer Grenzgebiete数学与格伦茨盖比 1 数学课堂笔记 1 计算机科学与应用逻辑进展 1 数学混合泳 全部的 前5名领域 49 数理逻辑与基础（03-XX） 21 计算机科学（68至XX） 16 历史和传记（01-XX） 9 总体主题；集合（00-XX） 1 组合数学（05-XX） 1 阶、格、有序代数结构（06-XX） 1 场论与多项式（12-XX） 1 范畴理论；同调代数（18-XX） 1 复变量的函数（30年XX月） 1 数学教育（97-XX） 按年份列出的出版物 所有引用的出版物 前5名被引用出版物 zbMATH Open中包含的引文 32出版物有被引用151中的次132文件 引用人▼ 年份▼ “实际”的逻辑。 Zbl 0389.03010号 约翰·克罗斯利。；劳埃德·亨伯斯通 27 1978 关于数学艺术的九章.陪伴和评论。 Zbl 0936.01003号 沈康申；约翰·克罗斯利。；Anthony W.C.Lun。 23 1999 组合函子。 Zbl 0283.02036号 J.N.克罗斯利。；尼禄，阿尼尔 11 1974 自然井然有序。 Zbl 0634.03055号 约翰·克罗斯利。；基斯特，简·布里奇 10 1986 数字的出现。第2版。 Zbl 0724.01002号 J.N.克罗斯利。 8 1987 形式化系统和递归函数。牛津八大逻辑学术讨论会论文集，1963年7月。 Zbl 0126.00204号 6 1965 逻辑方法。为了纪念阿尼尔·内罗德60岁生日。 邮编：0810.00003 6 1993 改编校样-如图。咖喱-霍华德协议。 Zbl 1095.68025号 伊曼·哈菲兹·波尔莫莫；约翰·纽索姆·克罗斯利；马丁·威尔辛 6 2005 递归范畴性和递归稳定性。 Zbl 0605.03023号 约翰·克罗斯利。；Alfred B.马纳斯特。；迈克尔·F·摩西。 5 1986 有效代数的各个方面。1979年8月1日至4日，澳大利亚莫纳什大学会议记录。 Zbl 0456.00004号 5 1981 有效尺寸。 Zbl 0344.02036号 J.N.克罗斯利。；尼禄，阿尼尔 4 1976 什么是数学逻辑？ Zbl 0251.02001 J.N.克罗斯利。；阿什，C.J。；布里奇希尔，C.J。；斯蒂尔韦尔，J.C。；新罕布什尔州威廉姆斯。 4 1972 代数和逻辑。澳大利亚莫纳什大学澳大利亚数学学会1974年夏季研究所的论文。 Zbl 0293.00006号 三 1975 逻辑学家的回忆。 兹伯利0312.02001 三 1975 构造订单类型。一、。 Zbl 0145.01002号 J.N.克罗斯利。 三 1965 Kleene’s（theta）中在\（ω^2）处的非唯一性。 Zbl 0192.05501号 J.N.克罗斯利。；库尔特·舒特 三 1966 阿尔这样说-Ḵẖwārizmī：剑桥大学图书馆的文本翻译。 Zbl 0716.01004号 约翰·克罗斯利。；艾伦·S·亨利。 三 1990 Curry-Howard同构适用于命令式程序合成和推理。 Zbl 1048.03024号 伊曼·波尔莫莫；约翰·克罗斯利。 2 2003 构造订单类型。二、。 Zbl 0156.02702号 J.N.克罗斯利。 2 1966 集合、模型和递归理论。1965年8月至9月，《数理逻辑暑期学校会刊》和莱斯特第十届逻辑学术讨论会。 Zbl 0158.00207号 2 1967 构造订单类型。 Zbl 0184.02201号 J.N.克罗斯利。 2 1969 构造订单类型。三、。 Zbl 0199.02901号 艾泽尔，P.H.G。；J.N.克罗斯利。 2 1966 阿尼尔·内罗德的作品：回顾。 Zbl 0824.03001号 雷梅尔，J.B。；J.N.克罗斯利。 2 1993 多项式时间组合运算符是多项式。 Zbl 0766.03025号 约翰·克罗斯利。；雷梅尔，J.B。 1 1990 组合函子。 Zbl 0312.02036号 J.N.克罗斯利。；尼禄，阿尼尔 1 1975 声音函子。 Zbl 0324.02030号 J.N.克罗斯利。；尼禄，阿尼尔 1 1975 递归等价。 Zbl 0212.02401号 J.N.克罗斯利。 1 1970 逻辑学家的回忆。二、。 兹比尔0467.03002 约翰·克罗斯利。 1 1981 拟阵上的递归等价。 Zbl 0472.03035号 约翰·克罗斯利。；尼禄，阿尼尔 1 1981 什么是数学逻辑？1972年原件的重印。 Zbl 1141.03300号 J.N.克罗斯利。；阿什，C.J。；布里奇希尔，C.J。；斯蒂尔韦尔，J.C。；新罕布什尔州威廉姆斯。 1 1990 通过库里-霍华德过程的扩展从证明中提取程序。 Zbl 0821.03017号 约翰·克罗斯利。；约翰·谢泼德森（John C.Shepherdson）。 1 1993 给定的。 Zbl 0536.03024号 约翰·克罗斯利。 1 1982 改编校样-如图。咖喱-霍华德协议。 Zbl 1095.68025号 伊曼·哈菲兹·波尔莫莫；约翰·纽索姆·克罗斯利；马丁·威尔辛 6 2005 Curry-Howard同构适用于命令式程序合成和推理。 Zbl 1048.03024号 伊曼·波尔莫莫；约翰·克罗斯利。 2 2003 关于数学艺术的九章.陪伴和评论。 Zbl 0936.01003号 沈康申；约翰·克罗斯利。；Anthony W.C.Lun。 23 1999 逻辑方法。为了纪念阿尼尔·内罗德60岁生日。 邮编：0810.00003 6 1993 阿尼尔·内罗德的作品：回顾。 Zbl 0824.03001号 雷梅尔，J.B。；克罗斯利，J.N。 2 1993 通过扩展Curry-Howard过程从证明中提取程序。 Zbl 0821.03017号 约翰·克罗斯利。；约翰·谢泼德森（John C.Shepherdson）。 1 1993 阿尔这样说-Ḵẖ沃里兹姆女士：剑桥大学图书馆ii.vi.5文本的翻译。 Zbl 0716.01004号 约翰·克罗斯利。；艾伦·S·亨利。 三 1990 多项式时间组合运算符是多项式。 兹比尔0766.03025 约翰·克罗斯利。；雷梅尔，J.B。 1 1990 什么是数学逻辑？1972年原件的重印。 Zbl 1141.03300号 J.N.克罗斯利。；阿什，C.J。；布里奇希尔，C.J。；斯蒂尔韦尔，J.C。；新罕布什尔州威廉姆斯。 1 1990 数字的出现。第2版。 Zbl 0724.01002号 J.N.克罗斯利。 8 1987 自然井序。 Zbl 0634.03055号 约翰·克罗斯利。；基斯特，简·布里奇 10 1986 递归范畴性和递归稳定性。 Zbl 0605.03023号 约翰·克罗斯利。；阿尔弗雷德·马纳斯特。；迈克尔·F·摩西。 5 1986 给定的。 Zbl 0536.03024号 约翰·克罗斯利。 1 1982 有效代数的各个方面。1979年8月1日至4日，澳大利亚莫纳什大学会议记录。 兹比尔0456.00004 5 1981 逻辑学家的回忆。二、。 Zbl 0467.03002号 约翰·克罗斯利。 1 1981 拟阵上的递归等价。 Zbl 0472.03035号 约翰·克罗斯利。；尼禄，阿尼尔 1 1981 “实际”的逻辑。 Zbl 0389.03010号 约翰·克罗斯利。；劳埃德·亨伯斯通 27 1978 有效尺寸。 Zbl 0344.02036号 J.N.克罗斯利。；尼禄，阿尼尔 4 1976 代数和逻辑。澳大利亚莫纳什大学澳大利亚数学学会1974年夏季研究所的论文。 Zbl 0293.00006号 三 1975 逻辑学家的回忆。 兹伯利0312.02001 三 1975 组合函子。 Zbl 0312.02036号 J.N.克罗斯利。；尼禄，阿尼尔 1 1975 声音函子。 Zbl 0324.02030号 J.N.克罗斯利。；尼禄，阿尼尔 1 1975 组合函子。 Zbl 0283.02036号 J.N.克罗斯利。；尼禄，阿尼尔 11 1974 什么是数理逻辑？ Zbl 0251.02001 J.N.克罗斯利。；阿什，C.J。；布里奇希尔，C.J。；斯蒂尔韦尔，J.C。；新罕布什尔州威廉姆斯。 4 1972 递归等价。 Zbl 0212.02401号 J.N.克罗斯利。 1 1970 构造订单类型。 Zbl 0184.02201号 J.N.克罗斯利。 2 1969 集合、模型和递归理论。1965年8月至9月，《数理逻辑暑期学校会刊》和莱斯特第十届逻辑学术讨论会。 Zbl 0158.00207 2 1967 Kleene’s（theta）中在\（ω^2）处的非唯一性。 Zbl 0192.05501号 J.N.克罗斯利。；库尔特·舒特 三 1966 构造订单类型。二、。 Zbl 0156.02702号 J.N.克罗斯利。 2 1966 构造订单类型。三、。 Zbl 0199.02901号 艾泽尔，P.H.G。；克罗斯利，J.N。 2 1966 形式系统和递归函数。牛津八大逻辑学术讨论会论文集，1963年7月。 Zbl 0126.00204号 6 1965 构造订单类型。一、。 Zbl 0145.01002号 J.N.克罗斯利。 三 1965 所有引用的出版物 前5名被引用出版物 全部的 前5名164位作者引用 7 约翰·纽索姆·克罗斯利 6 尼禄，阿尼尔 4 亚历山大·库克里克（Alexander W.Kocurek）。 三 雅各布·C·E·德克尔。 三 梅丽莎·福斯科 三 Bakhadyr M.库萨诺夫。 三 法比奥·兰伯特 三 杰弗里·布赖恩·雷梅尔 三 范德米伦（Jeroen Van der Meeren） 三 凯·弗雷德里克·韦迈耶 三 安德烈亚斯·魏尔曼 2 彼得·阿策尔 2 约瑟夫·巴巴克 2 威尔弗里德·巴赫霍尔茨 2 凯琳·切姆拉 2 约瑟夫·沃伦·道本 2 罗德尼·格雷厄姆·唐尼 2 约瑟夫·格里卡尔（Joseph F.Grcar）。 2 石原、Hajime 2 斯特芬·勒普 2 阿尔贝托·马可尼 2 罗素·米勒。 2 迈克尔·拉特扬 2 雷茨拉夫，艾伦 2 理查德·阿诺德·肖尔 2 亚妮斯·斯蒂芬努 1 肯·阿基巴 1 克里斯托弗·约翰阿什 1 Shmuel Avital公司 1 亨德里克·彼得·巴伦德雷格特 1 伦茨·贝尔兹纳 1 约翰·伦纳特·伯格伦 1 弗朗西斯科·贝尔托 1 彼得亚·巴兹奇克 1 以斯拉·A·布朗。 1 丹尼斯·比勒 1 奥塔维奥·布埃诺 1 玛丽安·布什 1 伊娃·卡亚尼埃洛 1 凯斯，约翰 1 道格拉斯·森泽 1 张正旭 1 陈江平（杰夫） 1 中，Jaeyong 1 安慰，威廉·维斯塔 1 大卫·罗克斯比·考克斯 1 克雷斯韦尔·麦克斯韦尔·约翰 1 特里斯坦·克罗拉德 1 劳拉·克罗西拉 1 克里斯托弗·卡伦 1 阿里·达什蒂 1 韦恩·戴维斯（Wayne A.Davis）。 1 洛科·德尼古拉 1 纳鸿·德肖维茨 1 卡明·迪菲奥雷 1 鲁门·D·迪米特洛夫。 1 埃里克·埃伦图克 1 斯蒂法诺·法内利 1 安东·法辛 1 大卫·费尔南德斯·杜克 1 法语、罗汉语 1 煎炸，伊曼纽尔 1 彼得·弗里茨 1 默多克·詹姆斯·加贝 1 加迪亚，S。 1 让·H·盖利尔。 1 马丁·雅各布·甘德 1 吉安·伊夫·吉拉德 1 格拉斯，托马斯·A。 1 诺姆·格林伯格 1 多米尼克·格雷戈里 1 总W.F。 1 尤里·古里维奇 1 西格·汉德利。 1 迈克尔·哈迪 1 瓦伦蒂娜·S·哈里扎诺夫。 1 彼得·霍克 1 艾伦·P·黑森（Allen P.Hazen）。 1 亨特拉斯，马修·拉尔夫·约翰 1 罗尔夫·亨尼克 1 帕特里西奥·赫伯斯特 1 Hölzl，Matthias M。 1 劳埃德·亨伯斯通 1 布鲁诺·哈辛托 1 伊桑·J·杰扎克。 1 博·戈兰·约翰逊 1 Joost J.乔斯特恩。 1 伊拉克卡兰塔里 1 米哈伊尔·卡茨（Mikhail G.Katz）。 1 考夫曼，路易斯·赫希 1 简·伊丽莎白·基斯特 1 安娜贝拉·克拉尔 1 小林，Yuji 1 诺拉·科赫 1 埃里克·克拉布（Erik C.W.Krabbe）。 1 克里斯蒂安·克罗伊斯 1 斯图亚特·库尔茨（Stuart A.Kurtz）。 1 曼纽尔·勒曼 1 林克斯，乔恩·罗伯特 1 法布里奇奥·卢西奥 …还有64位作者 全部的 前5名49篇连载文章中引用 16 纯逻辑与应用逻辑年鉴 13 哲学逻辑杂志 10 符号逻辑杂志 9 数学史 8 合成 4 符号逻辑述评 三 Archive für Mathematische Logik und Grundlagenforschung公司 三 代数杂志 2 精密科学史档案 2 洛基山数学杂志 2 圣母院形式逻辑杂志 2 Studia Logica公司 2 理论计算机科学 2 美国数学学会会刊 2 信息与计算 2 数学逻辑档案 2 数学逻辑季刊（MLQ） 2 符号逻辑公报 2 计算机科学中的逻辑方法 1 国际科学与技术数学教育杂志 1 数学信使 1 应用数学与计算 1 比特币 1 国际数学与数学科学杂志 1 计算与应用数学杂志 1 计算机与系统科学杂志 1 逻辑历史与哲学 1 SIAM审查 1 美国数学学会公报。新系列 1 计算系统理论 1 托波伊 1 埃尔肯特尼斯 1 科学基础 1 马特马提卡小姐 1 逻辑与代数程序设计杂志 1 逻辑与逻辑哲学 1 应用数学杂志 1 Matemática Paranaense Sociedade Boletim da。特塞拉·塞里 1 物理学基础 1 美国数学学会公报 1 物理学报A：数学与理论 1 《大学数学杂志》 1 语境中的科学 1 马特马提卡历史博物馆（Revista Brasileira de História da Matemática） 1 Axiomathes公司 1 Lettera Matematica公司。国际版 1 诺尔斯 1 中国科学技术史年鉴。CAHST公司 1 英国数学史杂志 全部的 前5名23个字段中引用 90 数理逻辑与基础（03-XX） 24 历史和传记（01-XX） 12 计算机科学（68至XX） 7 线性代数和多线性代数；矩阵理论（15-XX） 6 总体主题；集合（00-XX） 5 阶、格、有序代数结构（06-XX） 5 数值分析（65-XX） 4 数论（11-XX） 4 数学教育（97-XX） 三 组合数学（05-XX） 2 范畴理论；同调代数（18-XX） 2 差分和函数方程（39至XX） 2 统计学（62-XX） 1 场论与多项式（12-XX） 1 结合环与代数（16-XX） 1 群论与推广（20-XX） 1 实际功能（26年X月X日） 1 偏微分方程（35-XX） 1 动力系统和遍历理论（37至XX） 1 一般拓扑结构（54至XX） 1 量子理论（81-XX） 1 统计力学，物质结构（82-XX） 1 运筹学、数学规划（90-XX） 按年份列出的引文 Wikidata时间线 数据显示为存储在Wikidata中的Creative Commons CC0许可证.应进行更新和更正在Wikidata中.