《Journal of Symbolic Logic》

Three Uses of the Herbrand-Gentzen Theorem in Relating Model Theory and Proof Theory

作者:
W Craig

关键词:
HumansTalusDislocationsFractures BoneAdultFemaleMale

摘要:

在线下载

相关文章:
在线客服:
对外合作:
联系方式:400-6379-560
投诉建议:feedback@hanspub.org
客服号

人工客服,优惠资讯,稿件咨询
公众号

科技前沿与学术知识分享