Barwise, Jon.

Handbook of mathematical logic by: Barwise, Jon.; Keisler, H. Jerome. (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)