Familial renal glycosuria and modifications of glucose renal excretion
- 期刊名称Diabetes & Metabolism
- 作者Prié, D.
- 卷第40卷
- 期第6期
- 印刷ISSN1262-3636
- 文件大小279.26KB
- 发表时间2014-12
- DOI10.1016/S1262-3636(14)72690-4
A Note on Computable FunctionalsKleene, S.C. · Indagationes Mathematicae (Proceedings) · 1956
元数学导论 下（美）克林（Kleene，S.C.）著；莫绍揆译 · 北京：科学出版社 · 1984
Analysis of Lengthening of Modulated Repetitive PulsesKleene, S.C. · 1947
[Studies in Logic and the Foundations of Mathematics] The Foundations of Intuitionistic Mathematics Volume 39 || PrefaceKleene, S.C. · 1965
[Studies in Logic and the Foundations of Mathematics] The Foundations of Intuitionistic Mathematics Volume 39 || Chapter II Various Notions of RealizabilityKleene, S.C. · 1965
[Studies in Logic and the Foundations of Mathematics] PATRAS LOGIC SYMPOSION Volume 109 || Recursive Functionals and Quantifiers of Finite Types Revisited IIIKleene, S.C. · 1982
[Studies in Logic and the Foundations of Mathematics] The Kleene Symposium Volume 101 || Recursive Functionals and Quantifiers of Finite Types Revisited IIKleene, S.C. · 1980
[Studies in Logic and the Foundations of Mathematics] The Foundations of Intuitionistic Mathematics Volume 39 || Chapter IV On Order in the ContinuumKleene, S.C. · 1965