The Library of Congress > LCCN Permalink

View this record in:  MARCXML | LC Authorities & Vocabularies | VIAF (Virtual International Authority File)External Link

Kleene, Stephen Cole, 1909-1994

LC control no.n 79106427
Personal name headingKleene, Stephen Cole, 1909-1994
    Browse this term in  LC Authorities  or the  LC Catalog
Variant(s)Kleene, S. C. (Stephen Cole), 1909-1994
Found inA theory of positive integers ... 1935.
Biog. resource center (Contemp. authors), Apr. 17, 2008 (Stephen Cole Kleene; b. Jan. 5, 1909, Hartford, Conn.; d. Jan. 25, 1994, Madison, Wis.; Princeton University, Ph. D., 1934; University of Wisconsin--Madison, Cyrus C. MacDuffee Professor of Mathematics and Computer Sciences, beginning 1964)
Two papers on the predicate calculus, 1952: t.p. (S.C. Kleene) p. 1 (S.C. Kleene, the University of Wisconsin)