Kleene, Stephen Cole, (1909-1994.)

The foundations of intuitionistic mathematics = especially in relation to recursive functions / by: Kleene, Stephen Cole, (1909-1994.); Vesley, Richard Eugene, (1932-) (Language materials, printed)

The Kleene Symposium = proceedings of the symposium held June 18-24, 1978 at Madison, Wisconsin, U.S.A. / by: Kleene, Stephen Cole, (1909-1994.); Barwise, Jon.; Workshop on the Preservation of Stability under Discretization ((2001 :); Kunen, Kenneth.; Keisler, H. Jerome. (Language materials, printed)