his honor. Kleene's teaching at Wisconsin resulted in three texts in mathematical logic, Kleene (1952, 1967) and Kleene and Vesley (1965). The first two are often cited and still in print. Kleene (1952) wrote alternative proofs to the Gödel's incompleteness theorems that enhanced their canonical status and made them easier to teach and understand. Kleene and Vesley (1965) is the classic American introduction to intuitionistic logic and mathematical intuitionism. Kleene served as president of the Association for Symbolic Logic, 1956–1958, and of the International Union of History and Philosophy of Science, 1961. The importance of Kleene's work led to Daniel Dennett coining the saying, published in 1978, that "Kleeneness is next to Gödelness." In 1990, he was awarded the National Medal of Science. Kleene and his wife Nancy Elliott had four children. He had a lifelong devotion to the family farm in Maine. An avid mountain climber, he had a strong interest in nature and the environment, and was active in many conservation causes. Legacy At each conference of the Symposium on Logic in Computer Science the Kleene award, in honour of Stephen Cole Kleene, is given for the best student paper. Selected publications 1935. 1935. 1935. 1936. 1936. 1938. 1943. 1951. 1952. Introduction to Metamathematics. New York: Van Nostrand. (Ishi Press: 2009 reprint). 1956. 1965 (with Richard Eugene Vesley). The Foundations of Intuitionistic Mathematics. North-Holland. 1967. Mathematical Logic. John Wiley & Sons. Dover reprint, 2002. . 1981. "Origins of Recursive Function Theory" in Annals of the History of Computing 3, No. 1. 1987. See also Kleene–Brouwer order Kleene–Rosser paradox Kleene's O Kleene's T predicate List of pioneers in computer science Notes References External links Biographical memoir – by Saunders Mac Lane Kleene bibliography – Interview with Kleene and John Barkley Rosser about their experiences at Princeton American computer scientists American logicians Amherst College alumni Computability theorists Educators from Hartford, Connecticut Institute for Advanced Study visiting scholars Intuitionism National Medal of Science laureates Princeton University alumni University of Wisconsin–Madison faculty 1909 births 1994 deaths 20th-century American mathematicians Mathematicians from Connecticut