发现好书期刊，享受阅读乐趣

海量图书期刊资源，随时随地畅享阅读乐趣

Finite Definability of Number-Theoretic Functions and Parametric Completeness of Equational Calculi

Finite Definability of Number-Theoretic Functions and Parametric Completeness of Equational Calculi

Georg Kreisel; William W. Tait

作者Georg Kreisel; William W. Tait
卷第7卷
印刷ISSN0942-5616
电子ISSN1521-3870
文件大小627.78KB
发表时间1961
DOI10.1002/malq.19610070107
页码28-38

← 返回【学霸图书馆】主页