，威斯康辛大学的数学图书馆以他的荣誉而更名。克莱尼在威斯康辛州的教学产生了3篇关于数学逻辑的文章，一篇发表于1952年，一篇发布于1967年，还有一篇和Vesley合作的发布于1965年。前2个经常被引用，仍然在印刷中。克莱尼1952年的论文给哥德尔不完备定理提供了另外的证明，这些定理增强了其规范地位，使其更容易教导和理解。克莱尼和Vesley合写于1965年的论文是美国人对直觉主义逻辑和数学的经典介绍。克莱尼曾于1956年至1988年担任符号逻辑协会（Association for Symbolic