题名:元数学导论. 上册
作者:（美）克林(Kleene,S.C.)著；莫绍揆译
出版年:1984
ISBN: 000048454
分类号: O141.2
中图分类: 证明论