符号逻辑公报

第1卷第3期，1995年9月

文章
  • 20世纪20年代的美国逻辑, 作者：马丁·戴维斯，第273-278页。
  • 如何计算反导数, 作者：Chris Freiling，第279--316页。
    •

    通信
  • 弗雷格定理和皮诺公设，乔治·布洛斯，第317-326页。
  • 确定性的最优证明，作者：Itay Neeman，第327--339页。
    •

    讣告
  • 纪念：拉斐尔·米切尔·罗宾逊，作者：Leon Henkin，第340-343页。
    •

    协会会议
  • ASL春季会议，密歇根州堪萨斯城，1994年5月6日至7日，第344-349页。
  • ASL冬季会议，加利福尼亚州旧金山，1月6-7日，1995，第359-376页。
  • ASL年会，加利福尼亚州欧文，3月30日-4月2日，1995，第377-389页。
    •

    协会主办的会议
  • 第三届索斯林会议，1994年7月21日至27日，第350页。
  • 澳大利亚逻辑协会会议，1994年8月26日至29日，第351-358页。
    •

  • 通知，第390--392页。
    •
    符号逻辑协会拥有符号逻辑公告中的文章，这些文章不能未经协会许可转载。他们可以从本网站下载仅供个人和教育使用。