登录
帮助
电子邮件
密码
忘记了密码？
显示
记住此计算机上的电子邮件
记住密码
请稍候。。。
没有欧几里得项目账户？
创建帐户
或
使用您的机构凭据登录
我们可以使用链接到您的Project Euclid帐户的电子邮件地址帮助您重置密码。
电子邮件
注册用户可以获得各种好处，包括自定义电子邮件警报、创建最喜爱的日志列表和保存搜索。
请注意，Project Euclid web帐户不会自动授予对全文内容的访问权限。
需要机构或社会成员订阅才能查看非开放获取内容。
联系人
customer_support@projecteuclid.org
有任何问题。
查看Project Euclid隐私策略
所有字段都是必填字段
*
名字
*
姓氏/姓氏
*
电子邮件
*
密码
密码要求：至少8个字符，必须至少包含一个大写字母、一个小写字母和一个数字或允许的符号
密码的有效符号：
~颚化符
!
感叹号
@在标志处
$美元符号
^插入符号
（左括号
)右括号
_下划线
.期限
*
确认密码
请稍候。。。
已成功创建Web帐户
浏览
标题
出版商
受试者
资源
订阅和访问
图书馆资源
发布者工具
研究员资源
关于
关于Euclid项目
咨询委员会
新闻和事件
政策
高级搜索
主页
>
期刊销售
>
圣母院J.形式逻辑
>
第21卷
>
第3版
>
第条
1980年7月
解决张和李的问题。
理查德·斯塔特曼
圣母院J.形式逻辑
21(3):
518-520
（1980年7月）。
内政部：10.1305/ndjfl/1093883175
关于
第一页
引用人
下载纸张
保存到我的库中
个人登录
您的订阅可能提供完全访问权限
电子邮件
密码
忘记了密码？
显示
记住此计算机上的电子邮件
记住密码
没有欧几里得项目账户？
创建帐户
或
使用您的机构凭据登录
购买单件物品
此文章仅适用于
订户
。不可单独出售。
这将被视为您的下载之一。
您将可以访问演示文稿和文章（如果可用）。
立即下载
此内容可通过您所在机构的订阅下载。
若要访问此项目，请登录到您的个人帐户。
电子邮件
密码
忘记了密码？
显示
记住此计算机上的电子邮件
记住密码
没有欧几里得项目账户？
创建帐户
我的图书馆
您当前没有任何文件夹可以保存您的论文！
在下面创建一个新文件夹。
创建新文件夹
保存>
第一页PDF
对不起，您的浏览器不支持嵌入式PDF，
下载第一页
期刊文章
3页
下载PDF
+
保存到我的库中
获取引文
我的图书馆
您当前没有任何文件夹可以保存您的论文！
在下面创建一个新文件夹。
创建新文件夹
保存>
文件夹名称
文件夹描述
保存
<
上一篇文章
|
下一篇文章
>
圣母院J.形式逻辑
第21卷•第3期•1980年7月
杜克大学出版社
订阅Euclid项目
接收此文章的勘误表警报
Richard Statman“Chang和Lee问题的解决方案”，《圣母院形式逻辑杂志》，圣母院J.形式逻辑21（3），518-520，（1980年7月）
包括：
仅引用
引文和摘要
格式：
RIS公司
尾注
BibTex公司
打印友好版（PDF）
下载引文
浏览
标题
出版商
受试者
资源
订阅和访问
图书馆资源
发布者工具
研究员资源
关于
关于Euclid项目
咨询委员会
新闻和事件
政策
帮助
|
高级搜索
关键词/短语
关键词
在里面
所有字段
摘要
作者姓名
附属
内政部/ISSN/ISBN
图表标题（&T）
关键词
标题
删除
和
或
不是
在里面
所有字段
摘要
作者姓名
附属
内政部/ISSN/ISBN
图表标题（&T）
关键词
标题
删除
和
或
不是
在里面
所有字段
摘要
作者姓名
附属
内政部/ISSN/ISBN
图表标题（&T）
关键词
标题
删除
+添加另一个字段
出版物标题：
名人堂
选择标题
选择标题
出版年份
范围
一年
清除窗体
