Curry also wrote and taught mathematical logic more generally; his teaching in this area culminated in his 1963 Foundations of Mathematical Logic.
柯里也撰寫和教授數理邏輯；他的教學成果在1963年的《數學邏輯的基礎》一書中到達巔峰。