×
维戈·斯托尔滕贝格·汉森（编辑）

符号逻辑协会2003年欧洲夏季会议，逻辑学术讨论会，2003年8月14日至20日，芬兰赫尔辛基。 （英语） Zbl 1059.03507号

牛市。符号。日志。 10，第2期，234-280（2004）.
讲座摘要。

引用于1审查

MSC公司：

03-06 与数理逻辑和基础有关的会议记录、会议、收藏等
00亿05 讲座摘要集
PDF格式BibTeX公司 XML格式引用
\textit{V.Stoltenberg-Hansen}（编辑），公牛。符号。日志。10，第2号，234--280（2004；Zbl 1059.03507）
全文： 内政部

参考文献：

[1] 逻辑部分公报28 pp 225–（1999）
[2] 内政部：10.1016/0168-0072（92）90073-9·Zbl 0763.03008号 ·doi:10.1016/0168-0072（92）90073-9
[3] 纯粹和应用逻辑兴趣小组的逻辑杂志7 pp 655–（1999）
[4] 逻辑推理规则的可接受性136 pp 617–（1997）
[5] 纯粹和应用逻辑兴趣小组的逻辑杂志10 pp 401–（2002）
[6] 内政部：10.1093/jigpal/6.1.73·Zbl 0902.03008号 ·doi:10.1093/jigpal/6.1.73
[7] 多维模态逻辑：理论与应用（2003）·Zbl 1051.03001号
[8] 美国数学学会会刊123 pp 3859–（1995）
[9] 内政部：10.2307/2270692·Zbl 0222.02048号 ·doi:10.2307/2270692
[10] 内政部：10.1090/S0002-9939-1994-1203984-4·doi:10.1090/S0002-9939-1994-1203984-4
[11] 代数i Logika 3 pp 17–（1964）
[12] 代数i Logika 18 pp 680–（1979）
[13] 第十三届IEEE计算机科学逻辑年会第444页–（1998）
[14] 数字与游戏（1976）
[15] 内政部：10.1007/3-540-56992-8_15·doi:10.1007/3-540-56992-8_15
[16] 第23届ACM计算机理论研讨会论文集第209-页（1991）
[17] 内政部：10.1145/256292.256295·兹比尔0883.68070 ·doi:10.145/256292.256295
[18] 递归数学手册1第235页–（1998）·兹伯利0930.03037
[19] 没有基础主义的基础：二阶逻辑案例（1991）·Zbl 0732.03002号
[20] 基于动力系统的自相关语句的语义pp 32–（2002）
[21] 数学作为模式科学（1997）·Zbl 0905.03004号
[22] 逻辑与本体论论文：波兹南哲学与人文研究
[23] 没有数字的数学。走向模态结构解释（1989）·Zbl 0688.03001号
[24] DOI:10.1002/malq.19810273104·Zbl 0474.03018号 ·doi:10.1002/malq.19810273104
[25] 内政部：10.1007/BF00652069·Zbl 0278.02023号 ·doi:10.1007/BF00652069
[26] Semiotika i Informatika 25 pp 120–（1985）
[27] 内政部：10.1006/inco.1997.2627·Zbl 0889.03015号 ·doi:10.1006/inco.1997.2627
[28] DOI:10.1023/A:1015106515413·Zbl 0999.03058号 ·doi:10.1023/A:1015106515413
[29] 符号逻辑协会欧洲夏季会议（2001年）
[30] 符号逻辑协会欧洲夏季会议（1998年）
[31] 符号工程会议（1996）
[32] 内政部：10.1090/S0002-9947-1984-0719661-8·doi:10.1090/S0002-9947-1984-0719661-8
[33] 数理逻辑报告1第39页–（1973）
[34] 理论40 pp 110–（1974）
[35] 元数学导论（1952）
[36] DOI:10.1007/BF02263055·Zbl 0815.03008号 ·doi:10.1007/BF02263055
[37] 逻辑：从基础到应用（斯塔福德郡，1993）（1996）
[38] 内政部：10.1007/BF02261708·兹伯利0815.03007 ·doi:10.1007/BF02261708
[39] 选择Mathematica。新系列5（1999）
[40] 《计算机科学逻辑》，2001年，第2142卷第277页（2001年）
[41] 代数与逻辑40 pp 322–（2001）
[42] 可定义性和可计算性（1996年）
[43] 数学课堂笔记337 pp 96–（1973）
[44] 符号学和信息学13 pp 184–（1979）
[45] 内政部：10.2307/1970696·Zbl 0207.00905号 ·数字对象标识代码：10.2307/1970696
[46] 数字对象标识码：10.1090/S0894-0347-97-00221-X·Zbl 0865.03039号 ·doi:10.1090/S0894-0347-97-00221-X
[47] 内政部：10.2307/2275646·Zbl 0895.03020号 ·doi:10.2307/2275646
[48] 内政部：10.2307/2272248·Zbl 0344.02044号 ·doi:10.2307/2272248
[49] 内政部：10.1090/S0002-9939-1974-0327518-9·doi:10.1090/S0002-9939-1974-0327518-9
[50] 内政部：10.1007/BF00293433·Zbl 0523.03014号 ·doi:10.1007/BF00293433
[51] 内政部：10.2307/2273755·Zbl 0464.03019号 ·doi:10.2307/2273755
[52] 自然扣除（1965）·Zbl 0149.00403号
[53] 内政部：10.1007/BF02810686·Zbl 0945.03069号 ·doi:10.1007/BF02810686
[54] 符号逻辑公报9第92页–（2003）
[55] 《lambda演算：语法和语义》（1984）
[56] 符号逻辑（1932）
[57] DOI:10.1006/jcss.2002.1848·Zbl 1059.68026号 ·文件编号：10.1006/jcss.2002.1848
[58] DOI:10.1016/S0168-0072（00）00040-3·Zbl 1009.03026号 ·doi:10.1016/S0168-0072（00）00040-3
[59] DOI:10.1016/S0168-0072（99）00048-2·Zbl 0973.03019号 ·doi:10.1016/S0168-0072（99）00048-2
[60] 数学基础145页第141页–（1994）
[61] 数字对象标识码：10.1007/s001530050150·Zbl 0936.03055号 ·doi:10.1007/s001530050150
[62] DOI:10.1007/BF01903842·Zbl 0733.03039号 ·doi:10.1007/BF01903842
[63] 模型理论第177页–（1965）
[64] 逻辑与代数程序设计杂志
[65] 物理学基础24 pp 1325–（1994）
[66] ACM计算逻辑事务
[67] 计算机科学逻辑手册V pp 317–（2000）
[68] 仅含一元函数符号的光谱1414 pp 189–（1998）
[69] 可计算性理论手册第363页–（1999）
[70] 内政部：10.1016/0168-0072（92）90003-I·Zbl 0764.03013号 ·doi:10.1016/0168-0072（92）90003-I
[71] 计算机科学逻辑手册IV第357页–（1995）
[72] 内政部：10.1007/BF00739994·Zbl 0828.03014号 ·doi:10.1007/BF00739994
[73] 内政部：10.1007/BF01792984·Zbl 0714.03038号 ·doi:10.1007/BF01792984
[74] 符号逻辑杂志
[75] 内政部：10.2307/2274822·Zbl 0702.03026号 ·doi:10.2307/2274822
[76] DOI:10.1007/BF02784150·Zbl 0999.03030号 ·doi:10.1007/BF02784150
[77] 内政部：10.1305/ndjfl/1093957573·Zbl 0133.25805号 ·doi:10.1305/ndjfl/1093957573
[78] 《超级Macchina di Turing e La gerarchia analitica》（1999）
[79] DOI:10.307/275338·Zbl 0776.03022号 ·doi:10.307/275338
[80] 内政部：10.2307/2586556·Zbl 0963.03064号 ·doi:10.2307/2586556
[81] 内政部：10.2178/jsl/1045861503·Zbl 1041.03045号 ·doi:10.2178/jsl/1045861503
[82] 内政部：10.1007/BF01053029·Zbl 0836.03035号 ·doi:10.1007/BF01053029
[83] DOI:10.1016/S0168-0072（02）00065-9·Zbl 1022.03045号 ·doi:10.1016/S0168-0072（02）00065-9
[84] 关于数学基础的思考：所罗门·费弗曼的论文15（2002）·Zbl 1001.00020号
[85] L.E.J.Brouwer百年纪念研讨会第77页–（1982）
[86] 78年逻辑学术讨论会，第159页–（1979）
[87] DOI:10.1002/malq.19750210145·兹比尔0312.02045 ·doi:10.1002/malq.19750210145
[88] 另类集合论中的数学（1979）
[89] 内政部：10.2307/2695109·Zbl 0985.03043号 ·doi:10.2307/2695109
[90] 符号逻辑协会欧洲会议（1992年）·Zbl 0790.0302号
[91] 第二届斯堪的纳维亚逻辑研讨会论文集第235页–（1971）·Zbl 0219.02001号
[92] 库尔特·哥德尔社会科学院后勤年鉴4第137页–（2001年）
[93] 自然演绎——实证理论研究（1965年）·Zbl 0173.00205号
[94] 枚举理论2 pp 169–（1973）
[95] DOI:10.1007/BF01201363·Zbl 0010.14601号 ·doi:10.1007/BF01201363
[96] DOI:10.1016/S0168-0072（02）00051-9·兹比尔1016.03006 ·doi:10.1016/S0168-0072（02）00051-9
[97] 内政部：10.1002/1521-3870（200111）47:4&lt；513:：AID-MALQ513&gt；3.0.CO；2-J型·Zbl 0992.03043号 ·doi:10.1002/1521-3870（200111）47:4<513:：AID-MALQ513>3.0.CO；2-J型
[98] 内政部：10.1007/BF02762887·doi:10.1007/BF02762887
[99] DOI:10.1023/A:1021973502838·Zbl 1038.03043号 ·doi:10.1023/A:1021973502838
[100] DOI:10.1007/BF02761954·Zbl 0552.03019号 ·doi:10.1007/BF02761954
[101] 内政部：10.1090/S0002-9947-1985-0779051-X·doi:10.1090/S0002-9947-1985-0779051-X
[102] DOI:10.1093/分/111.44.817·doi:10.1093/ind/111.44.817
[103] 内政部：10.2307/2695062·Zbl 0972.03027号 ·doi:10.2307/2695062
[104] DOI:10.1007/BF02007558·Zbl 0591.03041号 ·doi:10.1007/BF02007558
[105] 矛盾（1987）
[106] DOI:10.4064/fm176-2-4·Zbl 1020.03032号 ·doi:10.4064/fm176-2-4
[107] DOI:10.1002/1521-3870（200201）48:1&lt；125:：AID-MALQ125&gt；3.0.CO；2-牛顿·Zbl 0997.03045号 ·doi:10.1002/1521-3870（200201）48:1<125:：AID-MALQ125>3.0.CO；2-牛顿
[108] 内政部：10.1142/S0219061301000119·Zbl 0993.03048号 ·doi:10.1142/S0219061301000119
[109] 内政部：10.2307/2273259·兹伯利0479.03011 ·doi:10.2307/2273259
[110] 模态逻辑（1991）·兹伯利0797.03012
[111] 《哲学逻辑杂志》第44页第475页–（1975）
[112] 语言、思想和其他生物范畴：现实主义的新基础（1984）
[113] 命名和必要性（1980）
[114] 可证明逻辑（1995）
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。